OAI/Probability/BenjaminiSchramm/GhostDifferentialAssembly.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.Percolation.BenjaminiSchramm.quarter_twoGhost_le_square_add_boundary line 13
2. theorem OAI.Percolation.BenjaminiSchramm.root_twoGhost_bound line 48