[ add ] syntax for antisym equality reasoning in Relation.Binary.Reasoning.PartialOrder #3047#3057

jamesmckinna wants to merge 4 commits into

agda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue3047-antisymjamesmckinna/agda-stdlib:issue3047-antisymCopy head branch name to clipboard