OAI/Probability/CriticalPercolation/GraphGeometry/ColumnHitOthersOffdiag.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CriticalPercolation.BondGraph.column_hitOthers_offdiag line 23
2. lemma OAI.CriticalPercolation.BondGraph.column_hitOthers_gap_pos line 35
3. lemma OAI.CriticalPercolation.BondGraph.inverseMatrix_offdiag_nonpos line 60
4. lemma OAI.CriticalPercolation.BondGraph.clusterMatrix_row_mass line 88
5. lemma OAI.CriticalPercolation.BondGraph.inverseMatrix_row_mass line 98
6. lemma OAI.CriticalPercolation.BondGraph.clusterFunction_sum_columns line 110
7. lemma OAI.CriticalPercolation.BondGraph.inverse_clusterFunction_nonneg line 121