mathcomp/solvable/Make


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22

abelian.v
all_solvable.v
alt.v
burnside_app.v
center.v
commutator.v
cyclic.v
extraspecial.v
extremal.v
finmodule.v
frobenius.v
gfunctor.v
gseries.v
hall.v
jordanholder.v
maximal.v
nilpotent.v
pgroup.v
primitive_action.v
sylow.v

-R . mathcomp.solvable