Theorem LinearMap.det_toLin'

Modification history