diff options
| author | Cyril Cohen | 2020-11-23 22:41:17 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2020-11-24 02:15:48 +0100 |
| commit | ac30dae7377f9762ceba1c5553f0542831a0bb5c (patch) | |
| tree | 38e78d05317f2de668038a6a3e50647e94a9d043 /mathcomp/ssreflect/seq.v | |
| parent | 84d3168ae3436acec2df0b6f83e85ae7c5310ce1 (diff) | |
Using [dup] in path
Diffstat (limited to 'mathcomp/ssreflect/seq.v')
0 files changed, 0 insertions, 0 deletions