Theorem VectorBundleCore.coordChange_linear_comp

Modification history