Theorem LinearMap.isPairSelfAdjoint_equiv

Modification history