Def basic_smooth_vector_bundle_core.to_topological_vector_bundle_core

Modification history