OAI/Probability/CriticalPercolation/Nilpotent/FiniteCyclicConstruction.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. inductive OAI.CriticalPercolation.FiniteCyclicConstruction line 15
2. lemma OAI.CriticalPercolation.FiniteCyclicConstruction.of_finite_kernel line 24
3. lemma OAI.CriticalPercolation.FiniteCyclicConstruction.of_equiv line 29
4. lemma OAI.CriticalPercolation.free_finite_cyclic_construction_rank line 36
5. theorem OAI.CriticalPercolation.free_finite_cyclic_construction line 81
6. theorem OAI.CriticalPercolation.abelian_finite_cyclic_construction line 87