Theorem Matrix.updateColumn_subsingleton

Modification history