diff options
| author | Cyril Cohen | 2020-09-03 00:40:46 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-09-07 11:27:05 +0200 |
| commit | e7067ea1ea730fd4fd4d3daf556c6f712ffe04a8 (patch) | |
| tree | c1212b0ad263aaf172f36ffd6e0954bd11255d59 /mathcomp/_CoqProject | |
| parent | 9adc523e89022fc6ac77471fb3fe381ad344d060 (diff) | |
Polynomial evaluation and minimal poly of a diagonal matrix
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions