Theorem VectorBundleCore.localTrivAt_def

Modification history