blob: 9be65b29fbe314a43a0a6753ba0a23c45c0e60ee (
plain)
1
2
3
4
5
6
7
8
9
10
|
Require Export mathcomp.algebra.all.
Require Export mathcomp.attic.all.
Require Export mathcomp.character.all.
Require Export mathcomp.discrete.all.
Require Export mathcomp.field.all.
Require Export mathcomp.fingroup.all.
Require Export mathcomp.odd_order.all.
Require Export mathcomp.real_closed.all.
Require Export mathcomp.solvable.all.
Require Export mathcomp.ssreflect.all.
|
