feat(Logic/Relation): some `EqvGen` API#40606

Closed

mathlib-splicebot[bot] wants to merge 1 commit into

splice-bot/pr-38086-Mathlib-Logic-Relation.lean-ce7aa243bb-qcqlaam

Commits on Jun 14, 2026

Automated addition of changes in Mathlib/Logic/Relation.lean

dagurtomas
authored and
github-actions[bot]
committed