mathlib3
2d7f09e2 - Merge branch 'diffeomorph' into smooth_bundle

Commit

5 years ago

Merge branch 'diffeomorph' into smooth_bundle

References

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

Author

Nicknamen

Nicknamen

Parents

Loading