Theorem ContinuousLinearMap.IsIdempotentElem.isSelfAdjoint_iff_orthogonal_range

Modification history