diff options
| author | Cyril Cohen | 2020-09-08 16:37:34 +0200 |
|---|---|---|
| committer | Cyril Cohen | 2020-10-21 16:10:14 +0200 |
| commit | 03cebcaaba3ec9f379b37659e8fc5556c6a9a1b6 (patch) | |
| tree | 5d453a20720e40f1c3656986b1cdfbf2df8de7dd /mathcomp/_CoqProject | |
| parent | ed3d822bc5a1c3759140b7fd7567f2b4278ae0be (diff) | |
Adding matrix commutation and its theory
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions