Theorem Matrix.col_injective

Modification history