OAI/Geometry/Cannon/Topology/Glue.lean
2 declarations, 0 contain sorry, 0 declared as axioms
- def
OAI.CannonClosedGluing.glueline 17 - lemma
OAI.CannonClosedGluing.glue_applyline 25
OAI/Geometry/Cannon/Topology/Glue.lean2 declarations, 0 contain sorry, 0 declared as axioms
OAI.CannonClosedGluing.glue line 17OAI.CannonClosedGluing.glue_apply line 25