Theorem LinearMap.nondegenerate_toMatrix₂'_iff

Modification history