Theorem Set.iUnion₂_inter_iUnion₂

Modification history