Theorem Matrix.updateCol_reindex

Modification history