Theorem Set.compl_inter

Modification history