chore: add missing noexcepts#13370

eric-wieser wants to merge 1 commit intoleanprover:masterleanprover/lean4:masterfrom

eric-wieser:eric-wieser/no-except-mpzeric-wieser/lean4:eric-wieser/no-except-mpzCopy head branch name to clipboard