Theorem LinearMap.det_restrictScalars

Modification history