Inductive Relation.EqvGen

Modification history

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