diff options
| author | Cyril Cohen | 2018-07-14 01:36:54 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2018-07-14 01:36:54 +0100 |
| commit | cf1b1123f42d4c8b179d2a5bba557dec94de1888 (patch) | |
| tree | 37943a5e2fa2ac898f1508ba3a92ace43eb0ffe8 /mathcomp/ssreflect/seq.v | |
| parent | ededc3786a779f26303e9545dc68bd6006b4aae4 (diff) | |
updated proposition for big_prod_seq_eq1
Diffstat (limited to 'mathcomp/ssreflect/seq.v')
0 files changed, 0 insertions, 0 deletions