diff options
| author | Laurent Théry | 2021-03-08 22:17:14 +0100 |
|---|---|---|
| committer | GitHub | 2021-03-08 22:17:14 +0100 |
| commit | 04e28ceaaedd81fd1917f1a4d06c39d2f230ee74 (patch) | |
| tree | 2289e891b1f0cd0aacf3de615c10346e727b3b1a /mathcomp/ssreflect/seq.v | |
| parent | 42f60c39748daa64b47869e8ff89166c28d0f821 (diff) | |
| parent | 7db7a5fbce42ff387a5750f9fbde5436a9aab1cc (diff) | |
Merge pull request #703 from CohenCyril/blockmx
Adding big block matrices
Diffstat (limited to 'mathcomp/ssreflect/seq.v')
0 files changed, 0 insertions, 0 deletions