Theorem ZFSet.unionₛ_singleton

Modification history