Theorem Set.compl_ne_eq_singleton

Modification history