Theorem Set.Nonempty.subset_one_iff

Modification history