Def FiberBundleCore.localTrivAsPartialEquiv

Modification history