diff options
| author | Laurent Théry | 2020-11-16 16:54:53 +0100 |
|---|---|---|
| committer | GitHub | 2020-11-16 16:54:53 +0100 |
| commit | bae9cdb2a12083b8170c3999886839cc1495f969 (patch) | |
| tree | 9d33feef64df064a0fecd6222b6c656072fbaa95 /mathcomp/ssreflect | |
| parent | 1a098263b335ccc4cf72880662dccbe79185a8ab (diff) | |
| parent | 8b98bcedc4523e07e4fdc118159cf171366e952d (diff) | |
Merge pull request #636 from CohenCyril/fix_comm_mxC
`comm(Cmx|_mxC)` -> `comm(_scalar_mx|_mx_scalar)`
Diffstat (limited to 'mathcomp/ssreflect')
0 files changed, 0 insertions, 0 deletions