Quotient Package: dont unfold mem_def, use rsp and prs instead
Quotient Package: dont unfold mem_def, use rsp and prs instead

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