diff options
| author | affeldt-aist | 2020-09-28 23:01:57 +0900 |
|---|---|---|
| committer | GitHub | 2020-09-28 23:01:57 +0900 |
| commit | 85166cd6c9074f96e71ebce91e2d1243fabada64 (patch) | |
| tree | 3d935ea7fd52856d5dfd31d5e9b790906a731a92 /mathcomp/algebra/matrix.v | |
| parent | c9e5a9621c9a2143e1170ef1553fa7d9135b4130 (diff) | |
| parent | 97ccfcfb1e48d7a203ee61543e882baa3f71895f (diff) | |
Merge pull request #597 from CohenCyril/inj_row_free
Injectivity for additive functions and mulmxr.
Diffstat (limited to 'mathcomp/algebra/matrix.v')
0 files changed, 0 insertions, 0 deletions