Theorem Set.ite_inter_inter

Modification history