Theorem LinearMap.restrictScalars_zero

Modification history