Commit 2022-05-27 19:20 f598e581
View on Github →feat(topology/vector_bundle): do not require topology on the fibers for topological_vector_prebundle (#14377)
- Separated from branch
vb-hom
feat(topology/vector_bundle): do not require topology on the fibers for topological_vector_prebundle (#14377)
vb-hom