Theorem List.subset_singleton_iff

Modification history