mathlib3
9aeffa83 - feat(geometry/manifold): bundled smooth map (#3904)

Commit

5 years ago

feat(geometry/manifold): bundled smooth map (#3904)

References

#4925 - Make prime-avoidance branch build

Author

Nicknamen

Nicknamen

Parents

Loading