diff options
| author | Cyril Cohen | 2018-07-14 01:26:16 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-14 01:26:16 +0100 |
| commit | ededc3786a779f26303e9545dc68bd6006b4aae4 (patch) | |
| tree | cebe4ef3365d341b2289aefd977bb717988ef27d /mathcomp/ssreflect/plugin/v8.6 | |
| parent | 618c9229fecbf6f1e85035aa0033943dcd4f3464 (diff) | |
Laurent's simplifications
Diffstat (limited to 'mathcomp/ssreflect/plugin/v8.6')
0 files changed, 0 insertions, 0 deletions