diff options
| author | Christian Doczkal | 2020-11-11 18:06:31 +0100 |
|---|---|---|
| committer | Christian Doczkal | 2020-11-11 20:36:39 +0100 |
| commit | 85aee7ba9a19dceccc49c16b3d9eb295c60de774 (patch) | |
| tree | bc2aaec5e5ba5fae59d12cb19094937cc64cf4a2 /mathcomp/_CoqProject | |
| parent | cd8f803281d5e62fb474192605f1de455c21bc4b (diff) | |
turn uniq_subseq_pivot into equality
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions