Theorem VectorBundleCore.localTriv_apply

Modification history