Commit 2026-05-25 10:51 ff7e3494

View on Github →

perf(WithVal): avoid Equiv.ring (#39562)

Estimated changes

deleted theorem WithVal.ofVal_ofNat
modified theorem WithVal.ofVal_smul
deleted theorem WithVal.toVal_ofNat
modified theorem WithVal.toVal_smul