Theorem Set.singleton_inter_nonempty

Modification history