Theorem LinearMap.isUnit_det

Modification history