OAI/GroupTheory/PeriodicGroups/Main.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SourceBurnside.ConcreteSource.kernel_torsion_reference line 8
2. theorem OAI.SourceBurnside.ConcreteSource.periodic_reference line 12
3. theorem OAI.SourceBurnside.thm_main line 18

   Distinct definitions of this name: ComparatorChallenges/PeriodicGroup.lean:51 (same statement text; different proof or body). Qualify references as OAI.SourceBurnside.thm_main@path.