OAI/Probability/BenjaminiSchramm/TiltedGhostSusceptibility.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.quarterTiltedMass line 14
2. lemma OAI.CriticalPercolation.BondGraph.measurable_quarterTiltedMass line 17
3. lemma OAI.CriticalPercolation.BondGraph.quarterTiltedMass_aut line 23
4. lemma OAI.CriticalPercolation.BondGraph.quarterTiltedMass_change_base line 33
5. lemma OAI.CriticalPercolation.BondGraph.lintegral_quarterTiltedMass line 48
6. def OAI.CriticalPercolation.BondGraph.quarterGhostMagnetization line 60
7. def OAI.CriticalPercolation.BondGraph.quarterGhostDerivative line 64
8. theorem OAI.CriticalPercolation.BondGraph.quarterTiltedSusceptibility_lt_top_of_moment_and_differential line 68