mathlib3
cc48a5a4 - feat(geometry/manifold/diffeomorph): expand API (#6668)

Commit

4 years ago

feat(geometry/manifold/diffeomorph): expand API (#6668)

Author

urkud

urkud

Parents

Loading