OAI/Geometry/BallPacking/RelativeJets/
48 declarations, 0 contain sorry, 0 declared as axioms; 2 files
Files
- EmbeddingAdaptedNeighborhood.lean 14 declarations
- SymplecticProjectionNaturality.lean 34 declarations