issue !4#12717: Porting note: `simp` doesn't apply `simp`...

Stream: triage

[Random Issue Bot]

Today I chose issue 12717 for discussion!

Porting note: simp doesn't apply simp lemma unless parenthesized
Created by @Ruben Van de Velde (@Ruben-VandeVelde) on 2024-05-06
Labels: porting-notes

Is this issue still relevant? Any recent updates? Anyone making progress?

[Yaël Dillies]

I just opened #18968 to solve the porting notes and close this issue