Commit 2021-06-30 21:21 ad00a021
View on Github →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.