Theorem Set.isCoatom_singleton_compl

Modification history