Theorem LinearMap.isAdjointPairZero

Modification history