Theorem LinearMap.finiteDimensional_of_det_ne_one

Modification history