OAI/Probability/BenjaminiSchramm/TiltedHit.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.CriticalPercolation.BondGraph.zero_one_tiltedSusceptibility_duality line 13
2. def OAI.CriticalPercolation.BondGraph.weightHit line 27
3. lemma OAI.CriticalPercolation.BondGraph.measurableSet_weightHit line 30
4. theorem OAI.CriticalPercolation.BondGraph.weightHit_measure_mul_le line 34
5. theorem OAI.Percolation.BenjaminiSchramm.criticalModel_fullTiltedSusceptibility_lt_top_of_lt_pc line 61