Commit 2023-11-21 14:35 d0c0a7f4

View on Github →

Revert "fix: elaborate linarith arguments without errToSorry" This reverts commit 383ec12856a51cae18f9790f4e66595289b574a6.

Estimated changes

deleted def elabLinarithArg