mathlib

e2a8e639 - feat(geometry/manifold): improvements for smooth manifolds (#1593)

feat(geometry/manifold): improvements for smooth manifolds (#1593) * feat(geometry/manifold): improvements to smooth manifolds * fix * better definition for half-space * fix docstring * address comments * more comments