OAI/Probability/CriticalPercolation/Criticality/VirtualIndicability.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.SparseGrowth.infinite_fg_abelian_surjects_int line 14
2. lemma OAI.CriticalPercolation.SparseGrowth.virtually_indicable_of_derivedSeries_eq_bot line 25
3. theorem OAI.CriticalPercolation.SparseGrowth.HasPolynomialDegree.virtually_indicable line 78