Theorem VectorBundleCore.localTriv_symmL

Modification history