Theorem Matrix.isAdjointPair_equiv

Modification history