Theorem Matrix.updateCol_apply

Modification history