`OAI/GroupTheory/FiniteIndex/`

11 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Characteristic.lean 5 declarations
Extension.lean 1 declarations
FiniteKernel.lean 1 declarations
Powers.lean 2 declarations
Realization.lean 2 declarations