Theorem Relation.EqvGen.eqvGen_symmGen

Modification history

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