OAI/GroupTheory/PeriodicGroups/Periodicity/KernelTorsion.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SourceBurnside.ConcreteSource.kernel_torsion_rank line 11
2. theorem OAI.SourceBurnside.ConcreteSource.kernel_torsion line 31
3. theorem OAI.SourceBurnside.ConcreteSource.steinberg_periodic_rank line 34
4. theorem OAI.SourceBurnside.ConcreteSource.steinberg_periodic line 41
5. theorem OAI.SourceBurnside.ConcreteSource.main line 43
6. theorem OAI.SourceBurnside.ConcreteSource.main_statement line 47
7. theorem OAI.SourceBurnside.ConcreteSource.exists_infinite_finitely_presented_periodic_group line 49
8. theorem OAI.SourceBurnside.ConcreteSource.burnside_statement line 54