Theorem Set.iInter_iUnion_of_antitone

Modification history