diff options
| author | thery | 2020-06-24 16:00:24 +0200 |
|---|---|---|
| committer | thery | 2020-06-24 16:00:24 +0200 |
| commit | d7167e988d194e98157f7d7f837d933c7299ba2a (patch) | |
| tree | 32dac42c0afdbdb983e3dda22789c852dbac6be4 /mathcomp/_CoqProject | |
| parent | f25ef67ad2f58a30f1e700da89811b193755d84e (diff) | |
simpler proof
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions