diff options
| author | Florent Hivert | 2017-12-12 15:24:00 +0100 |
|---|---|---|
| committer | Florent Hivert | 2017-12-12 15:24:28 +0100 |
| commit | 051a83a5f1efcf1a06f7ab0456dc6ffeb8d168e3 (patch) | |
| tree | 3580f325f5953b3f2c97bd2404ed6874575da41e /mathcomp/attic/tutorial.v | |
| parent | 3e0f4874ce1d421e6a65eb8e745c666cb0313373 (diff) | |
New lemma reshape_index_leq
Diffstat (limited to 'mathcomp/attic/tutorial.v')
0 files changed, 0 insertions, 0 deletions