Theorem Set.empty_ne_univ

Modification history