mathlib3
03b9b058 - Merge branch 'smooth_map' into diffeomorph

Commit

5 years ago

Merge branch 'smooth_map' into diffeomorph

References

#8103 - feat(geometry/manifold/curves): smooth curves

Author

Nicknamen

Nicknamen

Parents

Loading