diff options
| author | affeldt-aist | 2020-09-03 10:03:22 +0900 |
|---|---|---|
| committer | GitHub | 2020-09-03 10:03:22 +0900 |
| commit | 56f5dd148ca2728ef69db7ec2f12bc462a73711e (patch) | |
| tree | 9462a441d0f2c32a0f9d398109d9135056400c9e /mathcomp/algebra/mxalgebra.v | |
| parent | 5fc12f8387ae6abef9730734c1dae9f14633a79a (diff) | |
| parent | 4b8456a7e0b3968864d0bc89a9886627184b9468 (diff) | |
Merge pull request #571 from CohenCyril/diag_trig
Elementary theory of diagonal and triagular matrices
Diffstat (limited to 'mathcomp/algebra/mxalgebra.v')
0 files changed, 0 insertions, 0 deletions