Theorem Set.unionᵢ_nonempty_self

Modification history