OAI/Probability/BenjaminiSchramm/TiltedMomentBridge.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Percolation.BenjaminiSchramm.modularHeight line 16
2. theorem OAI.Percolation.BenjaminiSchramm.quarterTiltedMass_eq_logarithmic_mass line 19
3. theorem OAI.Percolation.BenjaminiSchramm.quarterTiltedMass_moment_lt_top_of_layers line 39