Theorem Matrix.separatingLeft_toLinearMap₂_iff

Modification history