diff options
| author | Cyril Cohen | 2019-11-18 15:39:33 +0100 |
|---|---|---|
| committer | Cyril Cohen | 2019-11-18 15:39:33 +0100 |
| commit | 95e69d88e9f629c043939b8315e73dbb58852d9a (patch) | |
| tree | 7c231baedeb8cda341785757f412bf65f4d0bbeb /mathcomp/algebra/mxpoly.v | |
| parent | 359abfc1d67843216b0362d2fee3b8d650ff7ec0 (diff) | |
fixing CHANGELOG and ltn_pred lemmas
Diffstat (limited to 'mathcomp/algebra/mxpoly.v')
0 files changed, 0 insertions, 0 deletions