Theorem LinearMap.det_id

Modification history