Theorem Set.inter_singleton_nonempty

Modification history