OAI/Probability/CriticalPercolation/LinearGroups/SolvableSparseClassification.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CriticalPercolation.SparseGrowth.solvable_sparse_polynomial_virtuallyNilpotent line 17
2. theorem OAI.CriticalPercolation.SparseGrowth.HasPolynomialDegree.virtuallyNilpotent_of_solvable_finiteIndex line 70