Theorem Matrix.updateRow_eq_transvection

Modification history