OAI/Geometry/Cannon/PlaneTopology/InnerFlux.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonEmbeddedArc.Arc.innerFlux line 18
2. lemma OAI.CannonEmbeddedArc.Arc.innerFlux_sum line 23
3. lemma OAI.CannonEmbeddedArc.Arc.boundary_edge_other line 33
4. lemma OAI.CannonEmbeddedArc.Arc.innerFlux_boundary line 48
5. lemma OAI.CannonEmbeddedArc.Arc.innerFlux_interior line 67
6. lemma OAI.CannonEmbeddedArc.Arc.boundary_flux_signed line 115
7. lemma OAI.CannonEmbeddedArc.Arc.sum_three_support line 138
8. theorem OAI.CannonEmbeddedArc.Arc.positive_facial_chain line 150
9. lemma OAI.CannonTriangleWinding.dense_ne_of_openMap line 206
10. lemma OAI.CannonTriangleWinding.area_openMap line 215
11. lemma OAI.CannonTriangleWinding.generic_dense_open line 235
12. lemma OAI.CannonTriangleWinding.area_pos_distinct line 255
13. theorem OAI.CannonTriangleWinding.triangle_interiors_disjoint line 263
14. lemma OAI.CannonEmbeddedArc.Arc.positive_outer_of_chain line 299
15. theorem OAI.CannonEmbeddedArc.Arc.DevelopedFaces.univalent_triangles line 321