Theorem Set.unionᵢ_range_eq_unionₛ

Modification history