OAI/Geometry/TranslativeCovering/CapLens.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.CapLens.unit line 26
2. lemma OAI.CapLens.inner_unit line 30
3. lemma OAI.CapLens.tangent_bad_subset line 34
4. lemma OAI.CapLens.tangent_bad_measure line 63
5. lemma OAI.CapLens.common_lens line 96