Theorem LinearMap.restrictScalars_add

Modification history