Theorem Set.sigma_nonempty_iff

Modification history