diff options
| author | Cyril Cohen | 2019-11-06 15:53:40 +0100 |
|---|---|---|
| committer | GitHub | 2019-11-06 15:53:40 +0100 |
| commit | fcffe720b5a66bb6c0d9b6179dbef2b7af8805b6 (patch) | |
| tree | 081ec104774127e39664c72883192249816c6158 /mathcomp/_CoqProject | |
| parent | 71e397e46b65c1c27a65471170d71f388c8a45f1 (diff) | |
| parent | d20f0750b11fc1b5ba83d9b40c04df6e9e30e69a (diff) | |
Merge pull request #406 from hivert/algebras
Commutative Algebras
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions