Theorem Set.not_nontrivial_empty

Modification history