Theorem LinearMap.restrictScalars_trans

Modification history