OAI/Geometry/SplitTangent/CompactPolynomialRelations.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Compact Polynomial Relations.

  1. lemma OAI.SplitTangent.LeafJetAtlas.joint_relation_zero_isClosed line 18
  2. def OAI.SplitTangent.LeafJetAtlas.compactRelationLocus line 49
  3. lemma OAI.SplitTangent.LeafJetAtlas.compactRelationLocus_isClosed line 53