Theorem Set.compl_empty

Modification history