Theorem Set.compl_iInter₂

Modification history