Theorem Set.range_projIcc

Modification history