Theorem Set.unionₛ_eq_bunionᵢ

Modification history