issue !4#10830: `to_additive` doesn't always translate pr...

Stream: triage

[Random Issue Bot]

Today I chose issue 10830 for discussion!

to_additive doesn't always translate proofs generated by simp
Created by @Floris van Doorn (@fpvandoorn) on 2024-02-21
Labels:

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