tangent): some equations about trivializations (#18825)

Commit

2 years ago

feat(geometry/manifold/vector_bundle/tangent): some equations about trivializations (#18825) * From the sphere eversion project

Author

fpvandoorn

Parents