OAI/Probability/CriticalPercolation/Growth/HomogeneousTransport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.HomogeneousAnalysis.pair_fiber_eq_suborbit line 16
2. lemma OAI.CriticalPercolation.HomogeneousAnalysis.reversed_pair_fiber_eq_suborbit line 22
3. lemma OAI.CriticalPercolation.HomogeneousAnalysis.pair_row_finite line 34
4. lemma OAI.CriticalPercolation.HomogeneousAnalysis.pair_row_card line 41
5. lemma OAI.CriticalPercolation.HomogeneousAnalysis.pair_column_finite line 48
6. lemma OAI.CriticalPercolation.HomogeneousAnalysis.pair_column_card line 55
7. lemma OAI.CriticalPercolation.HomogeneousAnalysis.finite_row_sum_bound line 63