Theorem Set.projIcc_right

Modification history