blob: b860e172e5eb46cef4418a22bb5f60283f46cf49 (
plain)
1
2
3
4
5
6
7
|
Require Export mathcomp.ssreflect.all_ssreflect.
Require Export mathcomp.basic.all_basic.
Require Export mathcomp.algebra.all_algebra.
Require Export mathcomp.field.all_field.
Require Export mathcomp.character.all_character.
Require Export mathcomp.fingroup.all_fingroup.
Require Export mathcomp.solvable.all_solvable.
|
