Def Relation.EqvGen.setoid

Modification history

2024-09-02 17:50
Mathlib/Logic/Relation.lean
chore: move `Init.Data.Quot` to `Logic.Relation` (#16378)
Added Relation.EqvGen.setoidView on Github →