Theorem Set.iUnion₂_congr

Modification history