Theorem LinearMap.restrictScalars_neg

Modification history