Theorem Relation.EqvGen.eqvGen_eq_reflTransGen

Modification history

2026-07-06 13:36
Mathlib/Logic/Relation.lean
feat: lemmas about equality of `EqvGen` (#40792) …
Added Relation.EqvGen.eqvGen_eq_reflTransGenView on Github →