OAI/Probability/BenjaminiSchramm/PeakHalfspaceGeometry.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CriticalPercolation.BondGraph.adjustedHalfspaceConn line 14
2. def OAI.CriticalPercolation.BondGraph.adjustedStrictHalfspacePeak line 18
3. lemma OAI.CriticalPercolation.BondGraph.adjustedStrictHalfspacePeak_unique line 21
4. def OAI.CriticalPercolation.BondGraph.strictPeakBandTransport line 33
5. def OAI.CriticalPercolation.BondGraph.strictPeakSlabBandTransport line 39
6. def OAI.CriticalPercolation.BondGraph.strictPeakSlabBandCount line 46
7. lemma OAI.CriticalPercolation.BondGraph.strictPeakBandTransport_outgoing line 49
8. lemma OAI.CriticalPercolation.BondGraph.strictPeakSlabBandTransport_incoming_lower line 76