diff options
| author | Assia Mahboubi | 2018-03-21 23:32:13 +0100 |
|---|---|---|
| committer | GitHub | 2018-03-21 23:32:13 +0100 |
| commit | c17414bbef21bb3d0b96ee004c29ef7d56e55e2e (patch) | |
| tree | 550d3df7837b8b2ee9ffdc03a4d4e6c4283f2d60 /mathcomp/Make | |
| parent | ae8e96a37644a4d1cded1b13acf031d1325b68b4 (diff) | |
| parent | c6139d34289b95b0f5ea30133daaf7c4cb13a49d (diff) | |
Merge pull request #187 from anton-trunov/fix-some-inj-to-use-it-as-a-view
Declare prenex implicits for `Some_inj`
Diffstat (limited to 'mathcomp/Make')
0 files changed, 0 insertions, 0 deletions