diff options
| author | Cyril Cohen | 2020-09-02 23:26:39 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-03 19:59:28 +0200 |
| commit | 667dd52bd039a96f896b81533b0aaafe98b9f8de (patch) | |
| tree | 413e131d444270f9d993437f13122e4aa5bc4277 /mathcomp/algebra | |
| parent | fbeec199e65fe7e9fd96ddd74e31aa0461c22927 (diff) | |
compat Coq < 8.10
Diffstat (limited to 'mathcomp/algebra')
0 files changed, 0 insertions, 0 deletions