OAI/Probability/CriticalPercolation/Nilpotent/AbelianConjugationGrowth.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.SparseGrowth.periodic_lift_of_torsion_coset line 16
2. lemma OAI.CriticalPercolation.SparseGrowth.infinite_fg_commgroup_quotient_torsion_nontrivial line 25
3. theorem OAI.CriticalPercolation.SparseGrowth.HasPolynomialDegree.abelian_normal_periodic_direction line 37