mathlib3
3d6c3b6d - feat(geometry/manifold|topology): add simps and ext attributes (#15314)

Commit

3 years ago

feat(geometry/manifold|topology): add simps and ext attributes (#15314) * From the sphere eversion project

Author

fpvandoorn

Parents