OAI/Probability/CriticalPercolation/Growth/CosetNormalPromotion.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.RelativeGrowth.conjugate_eq_of_integer_value line 16
2. lemma OAI.CriticalPercolation.RelativeGrowth.finite_bounded_conjugate_family line 32
3. lemma OAI.CriticalPercolation.RelativeGrowth.HasDegree.promote_integer_normal line 46