Theorem Matrix.fromCols_apply_inr

Modification history