Theorem Matrix.updateRow_conjTranspose

Modification history