mathlib3

feat(geometry/manifold/manifold): define manifolds

#1422

Merged