OAI/Geometry/Cannon/Flows/CenterNeighborhood.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonApprox.FlowSetup.center_neighborhood line 23
2. theorem OAI.CannonApprox.FlowPatternSetup.paid_alternative line 32
3. theorem OAI.CannonPairs.exists_cost_measure_threshold line 84
4. theorem OAI.CannonApprox.FlowPatternSetup.cost_data line 173
5. theorem OAI.CannonRelease.boundary_no_record_flow line 302