setup_lifting preprocesses forall_transfer rule by unfolding mem_Collect_eq
setup_lifting preprocesses forall_transfer rule by unfolding mem_Collect_eq

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