diff options
| author | Laurent Théry | 2018-08-06 22:28:32 +0200 |
|---|---|---|
| committer | GitHub | 2018-08-06 22:28:32 +0200 |
| commit | 1dcea6744ecc79546905d41a23801b1fc7b60c5a (patch) | |
| tree | 8490364ecb047e335399514d69737312205997c7 /mathcomp/ssreflect/eqtype.v | |
| parent | 5526fa1f730874c376ec86eb72c6c8c2fd1b23a3 (diff) | |
| parent | 8d1832eea4abe8873423e76c307ab54bbeb84456 (diff) | |
Merge pull request #208 from CohenCyril/companionmx
Companion matrix of a polynomial
Diffstat (limited to 'mathcomp/ssreflect/eqtype.v')
0 files changed, 0 insertions, 0 deletions