OAI/Probability/BenjaminiSchramm/RootTiltedGhost.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.rootQuarterMass line 14
2. def OAI.CriticalPercolation.BondGraph.rootQuarterGhostMagnetization line 16
3. def OAI.CriticalPercolation.BondGraph.rootQuarterGhostDerivative line 20
4. lemma OAI.CriticalPercolation.BondGraph.measurable_rootQuarterMass line 24
5. lemma OAI.CriticalPercolation.BondGraph.lintegral_rootQuarterMass line 28
6. theorem OAI.CriticalPercolation.BondGraph.root_quarterTiltedSusceptibility_lt_top_of_moment_and_differential line 37