[ refactor ] make Relation.Binary.Morphism.Definitions obsolete#2922

jamesmckinna wants to merge 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:issue2875ptIjamesmckinna/agda-stdlib:issue2875ptICopy head branch name to clipboard