OAI/Geometry/SplitTangent/ComplementaryLeafIntersections.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Complementary Leaf Intersections.

  1. lemma OAI.SplitTangent.LeafJetAtlas.singlePlaque_transverse_eventually line 23
  2. lemma OAI.SplitTangent.LeafJetAtlas.complementary_leaves_isDiscrete line 46
  3. lemma OAI.SplitTangent.LeafJetAtlas.complementary_leaves_finite line 65