Theorem Matrix.updateCol_subsingleton

Modification history