Theorem ContinuousLinearMap.isSelfAdjoint_iff'

Modification history