Theorem Set.unionᵢ_range_eq_unionᵢ

Modification history