Theorem ContinuousLinearMap.IsIdempotentElem.isSymmetric_iff_orthogonal_range

Modification history