OAI/GroupTheory/PeriodicGroups/Homology/
334 declarations, 0 contain sorry, 0 declared as axioms; 5 files
Files
- FiniteExtensions.lean 70 declarations
- FiniteNormalHomology.lean 70 declarations
- KernelStability.lean 31 declarations
- LocallyFiniteActions.lean 70 declarations
- RelativeHomology.lean 93 declarations