diff options
| author | Cyril Cohen | 2017-12-14 19:10:41 +0100 |
|---|---|---|
| committer | GitHub | 2017-12-14 19:10:41 +0100 |
| commit | f4b724043fc6efc968430227c0f953c17966f445 (patch) | |
| tree | 4525c1798cd454a80c8c8a66ee2d5b33999bd2c4 /mathcomp/_CoqProject | |
| parent | 7ed910eed93cbd5523a731998b1d2c87db712b94 (diff) | |
| parent | f0c46d647c7f5c7dc88cb2b06d20ea92ae2f9da1 (diff) | |
Merge pull request #167 from hivert/PR2
Resubmitted lemma reshape_index_leq for discussion
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions