`OAI/Geometry/SmoothYau/ProductMetric/`

79 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

FourColumnSmallBall.lean 3 declarations
FourWaveThreeSmul.lean 39 declarations
SphereProduct.lean 4 declarations
ThreeInteriorMeridianNormedSpace.lean 20 declarations
ThreeMeridianNormedSpace.lean 13 declarations