Theorem Set.unionᵢ₂_congr

Modification history