Theorem Set.ite_inter_of_inter_eq

Modification history