aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/character
diff options
context:
space:
mode:
authorLaurent Théry2020-09-29 08:52:42 +0200
committerGitHub2020-09-29 08:52:42 +0200
commit7a34bf388b368b450f20a7e10e5a3076370d2d52 (patch)
tree9a0df1c2cfff7a49abce86d3f38676d8d28eae05 /mathcomp/character
parent75a78707f5bf36e6b497c67ac014f5b338ddba54 (diff)
parente5a87f12545cd97dea383040590d62aff068b8ad (diff)
Merge pull request #574 from CohenCyril/mxsub
Submatrix theory
Diffstat (limited to 'mathcomp/character')
0 files changed, 0 insertions, 0 deletions