OAI/Geometry/SplitTangent/LeafPlaques.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Leaf Plaques.

  1. def OAI.SplitTangent.AlignedProductChart.GermIn line 25
  2. lemma OAI.SplitTangent.AlignedProductChart.germIn_transfer line 28
  3. lemma OAI.SplitTangent.AlignedProductChart.germIn_iff line 57
  4. lemma OAI.SplitTangent.AlignedProductChart.all_jets_of_germ_zero line 63
  5. def OAI.SplitTangent.LeafJetAtlas.plaques line 87
  6. abbrev OAI.SplitTangent.LeafJetAtlas.leaf line 91
  7. def OAI.SplitTangent.LeafJetAtlas.GermIn line 93
  8. lemma OAI.SplitTangent.LeafJetAtlas.germIn_iff line 95
  9. lemma OAI.SplitTangent.LeafJetAtlas.germIn_mem line 102