Theorem Relation.EqvGen.eqvGen_transGen

Modification history

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