Def basic_smooth_vector_bundle_core.to_vector_bundle_core

Modification history