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.

Estimated changes