diff options
| author | Cyril Cohen | 2018-01-26 17:55:39 +0100 |
|---|---|---|
| committer | GitHub | 2018-01-26 17:55:39 +0100 |
| commit | 64c6b07ff318b9eee032e929f0cd25b2e2ddaeda (patch) | |
| tree | 4beb94be944e8772dc95d1a544ce9ce2201d51dc /mathcomp/solvable/hall.v | |
| parent | d4bd8f6a29a225cf7418c54008b6493501c62bd3 (diff) | |
| parent | c6e4012ec499b100abfd19320b6790d9849eba9e (diff) | |
Merge pull request #171 from CohenCyril/mxdirect_delta
The spaces generated by some delta_mx are in a direct sum
Diffstat (limited to 'mathcomp/solvable/hall.v')
0 files changed, 0 insertions, 0 deletions