diff options
| author | Cyril Cohen | 2019-11-06 15:54:03 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-06 15:54:03 +0100 |
| commit | 9a8b8292371526978b9e34804daf114658fe4b7a (patch) | |
| tree | af3b6de4ec0b11f970d699943373af6894fe7115 /mathcomp/_CoqProject | |
| parent | fcffe720b5a66bb6c0d9b6179dbef2b7af8805b6 (diff) | |
| parent | ad84fa64677463ab27a10bcd4d0081fd06693945 (diff) | |
Merge pull request #408 from chdoc/existsPn
add existsPn/forallPn lemmas
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions