diff options
| author | Cyril Cohen | 2020-09-24 17:07:52 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-24 17:07:52 +0200 |
| commit | 9eb54ad40f57b90d9c3b611a930994f99a46c7ea (patch) | |
| tree | 5963a6361a89819c5a05d6285b37ff91cfb6b5ed /mathcomp/_CoqProject | |
| parent | bff7cdfb8ee65d43303b6fffba2aaf9818e2cf49 (diff) | |
Adding `det_mx11`
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions