Theorem ContinuousLinearMap.IsIdempotentElem.hasOrthogonalProjection_range

Modification history