Theorem Set.nonempty_iInter_Ici_iff

Modification history