Theorem LinearMap.IsIdempotentElem.subtype_comp_linearProjOfIsCompl_range_eq

Modification history