Theorem VectorBundleCore.localTriv_symm_fst

Modification history