Commit 2022-03-07 10:15 f063d0c6
View on Github →feat(geometry/manifold/tangent_bundle): the tangent_bundle
is a topological_vector_bundle
(#8295)
feat(geometry/manifold/tangent_bundle): the tangent_bundle
is a topological_vector_bundle
(#8295)