OAI/Geometry/SplitTangent/GlobalAffineRelations.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Global Affine Relations.

  1. theorem OAI.SplitTangent.LeafJetAtlas.all_leaf_closure_affine_relation line 21