locally inverting previously applied simplifications with ex_simps in set_comprehension_pointfree
locally inverting previously applied simplifications with ex_simps in set_comprehension_pointfree

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