Theorem Relation.EqvGen.eqvGen_mono

Modification history

2026-07-27 19:23
Mathlib/Logic/Relation.lean
chore: remove uses of `Subrelation` (#41450) …
Modified Relation.EqvGen.eqvGen_monoView on Github →
2026-07-06 13:36
Mathlib/Logic/Relation.lean
feat: lemmas about equality of `EqvGen` (#40792) …
Added Relation.EqvGen.eqvGen_monoView on Github →