Theorem Set.Nontrivial.not_subset_singleton

Modification history