Theorem Relation.EqvGen.reflTransGen_symmGen

Modification history

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