diff options
| author | Cyril Cohen | 2017-12-11 23:42:23 +0100 |
|---|---|---|
| committer | GitHub | 2017-12-11 23:42:23 +0100 |
| commit | 4f4e11d3866b9d23bb629c637b35415bdd769f38 (patch) | |
| tree | 914385d549052278c21004922dee67dceaf01557 /mathcomp/attic/tutorial.v | |
| parent | fb02b7b3c7caf0b4b5d7d8e41cfef2e637b79026 (diff) | |
| parent | 02ba1d818a42c190c8c49b4d97764a6977066d41 (diff) | |
Merge pull request #166 from hivert/PR
Resubmitted missing lemma in seq.v
Diffstat (limited to 'mathcomp/attic/tutorial.v')
0 files changed, 0 insertions, 0 deletions