mathlib3
f9935ede - feat(geometry/manifold): Some lemmas for smooth functions (#7752)

Commit

4 years ago

feat(geometry/manifold): Some lemmas for smooth functions (#7752)

Author

Nicknamen

Nicknamen

Parents

Loading