Theorem LinearMap.nondegenerate_toMatrix_iff

Modification history