smooth_manifold_with_corners): product of smooth manifolds with corners (#3250)

Commit

5 years ago

feat(geometry/manifold/smooth_manifold_with_corners): product of smooth manifolds with corners (#3250) Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>

Author

Nicknamen

Parents

e236160f

mathlib3 53c15319 - feat(geometry/manifold/smooth_manifold_with_corners): product of smooth manifolds with corners (#3250)

mathlib3
53c15319 - feat(geometry/manifold/smooth_manifold_with_corners): product of smooth manifolds with corners (#3250)