mathlib3
chore(*): Improve simp confluence on `foo_equiv.symm`
#18343

Open

chore(*): Improve simp confluence on `foo_equiv.symm` #18343

YaelDillies wants to merge 1 commit into master from symm_simp

chore(*): Improve simp confluence on `foo_equiv.symm`

8ff36da0

YaelDillies added help-wanted

YaelDillies added WIP

alreadydone commented on 2023-02-02

kim-em added too-late

Reviewers

alreadydone

Assignees

No one assigned

Labels

help-wanted WIP too-late

Milestone

No milestone