mathlib
f19dbf29 - feat(geometric/manifold): smooth manifolds (#1555)

Commit

6 years ago

feat(geometric/manifold): smooth manifolds (#1555) * smooth manifolds * fix docstrings * update docstring * remove out_param

References

Author

sgouezel

Committer

mergify[bot]

Parents