Theorem LinearMap.IsIdempotentElem.isSymmetric_iff_orthogonal_range

Modification history