Theorem Set.iInter_union_iInter

Modification history