Theorem Matrix.updateRow_self

Modification history