OAI/Probability/CriticalPercolation/Growth/KernelGrowthDescent.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.SparseGrowth.quotient_word_lower line 14
2. lemma OAI.CriticalPercolation.SparseGrowth.subgroup_linear_packing line 29
3. theorem OAI.CriticalPercolation.SparseGrowth.subgroup_degree_descent line 52
4. theorem OAI.CriticalPercolation.SparseGrowth.HasPolynomialDegree.normalClosure_descent line 83
5. theorem OAI.CriticalPercolation.SparseGrowth.HasPolynomialDegree.normal_subgroup_descent line 96