Theorem Set.iInter_union_of_antitone

Modification history