diff options
| author | Cyril Cohen | 2017-12-11 23:45:56 +0100 |
|---|---|---|
| committer | GitHub | 2017-12-11 23:45:56 +0100 |
| commit | f0e53dc114bdbb9d4e10098f60db45fc642fe427 (patch) | |
| tree | 975b8e0d79580f963ca50b16449b48c0b745683b /mathcomp/algebra/matrix.v | |
| parent | 4f4e11d3866b9d23bb629c637b35415bdd769f38 (diff) | |
| parent | 848bcdb47a7e8d8da0e1cd5530a3feadcac93ede (diff) | |
Merge pull request #160 from CohenCyril/subr_trans
Add addrKA and subrKA (addrK and addrNK modulo Associativity)
Diffstat (limited to 'mathcomp/algebra/matrix.v')
0 files changed, 0 insertions, 0 deletions