Theorem Set.ite_inter

Modification history