Theorem LinearMap.IsIdempotentElem.isSymmetric_iff_isOrtho_range_ker

Modification history