Theorem LinearMap.det_toMatrix_eq_det_toMatrix

Modification history