Theorem LinearMap.restrictScalars_smul

Modification history