Theorem Set.singleton_sigma_singleton

Modification history