Commit 2025-01-14 01:19 0ef9418b
View on Github →chore: address simps
porting notes (#20717)
I searched for porting note.*simps
and tried to fix or delete the ones that were easy to address. Broadly:
- delete porting notes about replacing one form of
simps
with another - if the note complains about wrong lemmas or timeouts, check if that's still the case and delete if not.