Def LinearMap.extendScalarsOfSurjectiveEquiv

Modification history