Theorem Set.ite_right

Modification history