mathlib
bcc7c024 - feat(geometry/manifold): smooth bundled maps (#3641)

Commit

5 years ago

feat(geometry/manifold): smooth bundled maps (#3641)

References

#4925 - Make prime-avoidance branch build

Author

Nicknamen

Nicknamen

Parents

Loading