Theorem Set.projIcc_eq_right

Modification history