Theorem Set.sigma_singleton

Modification history