aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/solvable
diff options
context:
space:
mode:
authorKazuhiko Sakaguchi2020-11-18 08:14:54 +0900
committerKazuhiko Sakaguchi2020-11-19 05:24:58 +0900
commit82db85f541dc9a47fd79b462a63b8b80a8468557 (patch)
tree3edea724446dc0c8c4222d8628f2f5f9833b7db3 /mathcomp/solvable
parentcdbb52e7c60883b0beee923fdd96baa3e80a1912 (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