diff options
| author | Cyril Cohen | 2020-08-25 00:16:27 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-03 15:59:50 +0200 |
| commit | bb3f93b646a1a36e591a6837785e63cce7a4fa4e (patch) | |
| tree | 1cfc64e2ee4e3dde4bc19ed51ae1cc4ca31f5ac0 /mathcomp/_CoqProject | |
| parent | d3950a35fe2e901d92335ae9c05562b14d049214 (diff) | |
Lemmas mxminpoly_minP and dvd_mxminpoly
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions