Proof of antisym_less_lift now simpler and more robust
Proof of antisym_less_lift now simpler and more robust

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