`FLT/Deformations/RepresentationTheory/`

90 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

AbsoluteGaloisGroup.lean 14 declarations
Etale.lean 2 declarations
Frobenius.lean 5 declarations
GaloisRep.lean 52 declarations
GaloisRepFamily.lean 2 declarations
IntegralClosure.lean 14 declarations
Irreducible.lean 1 declarations