Theorem Relation.EqvGen.is_equivalence

Modification history

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