diff options
| author | Cyril Cohen | 2017-12-12 18:41:31 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2017-12-12 19:34:58 +0100 |
| commit | f0c46d647c7f5c7dc88cb2b06d20ea92ae2f9da1 (patch) | |
| tree | 71f2f194d921c7d9e12db0fde44011a38d91a14f /mathcomp/_CoqProject | |
| parent | 051a83a5f1efcf1a06f7ab0456dc6ffeb8d168e3 (diff) | |
refactored proof and renamed to reshape_leq and removed spurious hypothesis
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions