Theorem Relation.EqvGen.eqvGen_reflGen

Modification history

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