OAI/Geometry/Cannon/Modulus/ClosedCoverReflTrans.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.CannonFiniteCarrier.closed_cover_reflTransGen line 12
2. theorem OAI.CannonFiniteCarrier.connected_carrier line 37
3. lemma OAI.CannonFiniteCarrier.preimage_subset_carrier line 54
4. lemma OAI.CannonFiniteCarrier.path_in_open_enlargement line 61