Theorem Set.compl_singleton_eq

Modification history