mathlib

ad00a021 - feat(topology/vector_bundle): `topological_vector_bundle_core` (#8089)

feat(topology/vector_bundle): `topological_vector_bundle_core` (#8089) Analogous construction to `topological_fiber_bundle_core`. This construction gives a way to construct vector bundles from a structure registering how trivialization changes act on fibers. Co-authored-by: sgouezel <sebastien.gouezel@univ-rennes1.fr>