Theorem Relation.EqvGen.mono

Modification history

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