Theorem Matrix.updateColumn_apply

Modification history