Theorem LinearMap.isAdjointPairId

Modification history