Theorem LinearMap.isSelfAdjoint_iff'

Modification history