aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/solvable
diff options
context:
space:
mode:
authorEnrico2016-09-07 18:02:09 +0200
committerGitHub2016-09-07 18:02:09 +0200
commit2209e0bce7eeda751f87806a3e77a0c520017a88 (patch)
tree825eb73d3394e545c7a0aacd22de77aea658ce64 /mathcomp/solvable
parent806b05dc5c3a1594231225df0e8e9e28441d8736 (diff)
fix comment
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions