Def Matrix.conjTransposeRingEquiv

Modification history