Theorem LinearMap.det_toLin

Modification history