FLT/Deformations/
288 declarations, 3 contain sorry, 0 declared as axioms; 17 files
Folders
- Algebra/ 2 files, 74 declarations
- ContinuousRepresentation/ 1 files, 4 declarations
- RepresentationTheory/ 7 files, 90 declarations
Files
- Categories.lean 36 declarations
- IsProartinian.lean 8 declarations
- IsResidueAlgebra.lean 12 declarations
- Lemmas.lean 43 declarations
- LiftFunctor.lean 14 declarations
- Representable.lean 6 declarations
- Subfunctor.lean 1 declarations