Theorem LinearMap.IsAdjointPair.sub

Modification history