OAI/GroupTheory/FiniteLattice/
132 declarations, 0 contain sorry, 0 declared as axioms; 14 files
Files
- AmbientCore.lean 9 declarations
- CanonicalQuotient.lean 5 declarations
- CommonCore.lean 1 declarations
- CommonCoreAmbient.lean 3 declarations
- CommonCoreStatement.lean 1 declarations
- CorePreimage.lean 5 declarations
- GeneratedNormality.lean 1 declarations
- InnerAutomorphisms.lean 8 declarations
- LabelledCollection.lean 7 declarations
- LeastImage.lean 3 declarations
- NormalPreimage.lean 71 declarations
- PerfectPreimage.lean 3 declarations
- RetainedCore.lean 8 declarations
- SectionAction.lean 7 declarations