Theorem Matrix.col_inj

Modification history