mathlib3
chore(*): Improve simp confluence on `foo_equiv.symm`
#18343
Open
Overview
Commits
1
Changes
View On GitHub
FAQ Terms Privacy Refunds Impressum
Loading