OAI/Geometry/Cannon/PlanarGraphs/ChartLabel.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CannonFaceIncidence.chartLabel line 42
2. lemma OAI.CannonFaceIncidence.chartLabel_continuous line 46
3. lemma OAI.CannonFaceIncidence.region_chartLabel line 51
4. lemma OAI.CannonFaceIncidence.incident_chartLabel line 57
5. lemma OAI.CannonFaceIncidence.chartLabel_surjective line 67
6. def OAI.CannonFaceIncidence.labelPull line 82
7. lemma OAI.CannonFaceIncidence.labelPull_continuous line 86
8. lemma OAI.CannonFaceIncidence.region_labelPull line 92
9. lemma OAI.CannonFaceIncidence.incident_labelPull line 98
10. lemma OAI.CannonFaceIncidence.labelPull_surjective line 106