Theorem Set.Nonempty.sigma_snd

Modification history