Theorem Set.iUnion₂_inter

Modification history