# Commit 2022-03-07 10:15 f063d0c6

View on Github →feat(geometry/manifold/tangent_bundle): the `tangent_bundle`

is a `topological_vector_bundle`

(#8295)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(geometry/manifold/tangent_bundle): the `tangent_bundle`

is a `topological_vector_bundle`

(#8295)