OAI/Probability/CriticalPercolation/Nilpotent/
68 declarations, 0 contain sorry, 0 declared as axioms; 29 files
Files
- AbelianAlternatives.lean 2 declarations
- AbelianConjugationGrowth.lean 3 declarations
- AbelianDescent.lean 2 declarations
- CentralCommutatorFinite.lean 1 declarations
- CentralCommutatorGeneration.lean 6 declarations
- CentralCommutatorQuotient.lean 2 declarations
- CharacteristicNilpotentCore.lean 7 declarations
- CyclicModTorsion.lean 1 declarations
- CyclicSubgroupIndex.lean 1 declarations
- FGExtensions.lean 2 declarations
- FiniteCyclicConstruction.lean 6 declarations
- FiniteCyclicExtensionIndex.lean 3 declarations
- FiniteCyclicInheritance.lean 1 declarations
- FiniteKernelNilpotent.lean 1 declarations
- FreeAbelianDescent.lean 2 declarations
- GeneralNilpotentCore.lean 4 declarations
- LowerCentralFG.lean 3 declarations
- LowerCentralFinite.lean 1 declarations
- LowerCentralTailFinite.lean 2 declarations
- NilpotentAlternatives.lean 2 declarations
- NilpotentCyclicConstruction.lean 2 declarations
- NilpotentDescent.lean 2 declarations
- NilpotentFinite.lean 2 declarations
- NilpotentInfiniteCenter.lean 3 declarations
- NilpotentRankOne.lean 2 declarations
- NilpotentSubgroupFG.lean 1 declarations
- SolvableSubgroupFG.lean 2 declarations
- StructuredNilpotent.lean 1 declarations
- StructuredVirtuallyNilpotent.lean 1 declarations