Theorem Set.unionₛ_singleton

Modification history