diff options
| author | Florent Hivert | 2016-05-06 00:31:00 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2017-12-11 20:05:36 +0100 |
| commit | 02ba1d818a42c190c8c49b4d97764a6977066d41 (patch) | |
| tree | 914385d549052278c21004922dee67dceaf01557 /mathcomp/_CoqProject | |
| parent | fb02b7b3c7caf0b4b5d7d8e41cfef2e637b79026 (diff) | |
Missing lemmas in seq
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions