Theorem Set.iUnion_inter_iUnion

Modification history