aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/solvable
diff options
context:
space:
mode:
authorKazuhiko Sakaguchi2020-09-18 06:28:33 +0900
committerKazuhiko Sakaguchi2020-09-28 20:14:02 +0900
commit29d37a333d417c1bb27f4910704fd388b49f9a78 (patch)
treedfead048b274385fb1b42655cb909a5fba73ba3e /mathcomp/solvable
parent1f224d39ac3e3a68652d1a6b64387c22543b2663 (diff)
Apply suggestions from code review
Co-authored-by: Cyril Cohen <CohenCyril@users.noreply.github.com>
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions