mathlib

93fb5345 - refactor(topology/vector_bundle): split file (#14535)

refactor(topology/vector_bundle): split file (#14535) Also: * Rename `pullback` -> `topological_vector_bundle.pullback` * Use `delta_instance` instead of `local attribute [reducible]` * Change module doc * Remove transitive import