Refactor `Function.Relation.Binary.Setoid.Equality` to lift out `isEquivalence`#2382

JacquesCarette merged 1 commit intoagda:masteragda/agda-stdlib:masterfrom

jamesmckinna:function-setoid-equalityjamesmckinna/agda-stdlib:function-setoid-equalityCopy head branch name to clipboard