hom): the hom bundle is smooth (#18828)

Commit

2 years ago

feat(geometry/manifold/vector_bundle/hom): the hom bundle is smooth (#18828) * From the sphere eversion project

Author

fpvandoorn

Parents