Theorem IsIdempotentElem.hasOrthogonalProjection_range

Modification history