lemma Compl_insert: "- insert x A = (-A) - {x}"
lemma Compl_insert: "- insert x A = (-A) - {x}"

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle