Commit 2023-04-22 07:09 7dfe8583
View on Github →feat(geometry/manifold/vector_bundle/tangent): some equations about trivializations (#18825)
- From the sphere eversion project
feat(geometry/manifold/vector_bundle/tangent): some equations about trivializations (#18825)