Theorem Set.univ_nonempty

Modification history