Theorem contMDiff_equivTangentBundleProd_symm

Modification history