Theorem Set.compl_inter_self

Modification history