Theorem LinearMap.det_zero''

Modification history