diff options
| author | Cyril Cohen | 2018-07-19 17:11:59 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-19 17:11:59 +0200 |
| commit | 47831fdfcc1aa313b722232cebde2d3607f2e9b2 (patch) | |
| tree | ec61d532976dcc89694239904ea79851fed178c9 /mathcomp/all | |
| parent | a4f169772ace822087c9ab6aaac3f81982560b97 (diff) | |
last_eq for exhaustivity
Diffstat (limited to 'mathcomp/all')
0 files changed, 0 insertions, 0 deletions