Theorem Set.inter_empty_of_inter_sUnion_empty

Modification history