Update Lean to v4.31.0#831

stepchowfun merged 2 commits into

mainstepchowfun/proofs:mainfrom

update-lean-4.31.0stepchowfun/proofs:update-lean-4.31.0Copy head branch name to clipboard