Theorem VectorBundleCore.localTrivAt_apply

Modification history