aboutsummaryrefslogtreecommitdiff
path: root/mathcomp/solvable
diff options
context:
space:
mode:
authorCyril Cohen2020-04-10 10:55:30 +0200
committerCyril Cohen2020-04-10 12:25:12 +0200
commitb4673a3f6d06a4ff38789fd82f33dd517186eb44 (patch)
treed2a673ff767f58fa70174e51984d2c1e48acecba /mathcomp/solvable
parent378422bcb7de688ac201a70668a3e33b88bdae42 (diff)
adding guard conditions check to the test_suite
Diffstat (limited to 'mathcomp/solvable')
0 files changed, 0 insertions, 0 deletions