Theorem Set.ite_inter_self

Modification history