fix(lean,#17357): Lean-16a Conway -- deux comptes perimes et un toolchain faux - #20123

fix(lean,#17357): Lean-16a Conway -- deux comptes perimes et un toolchain faux#20123

jsboige wants to merge 1 commit into

mainjsboige/CoursIA:mainfrom

fix/17357-lean16a-stale-claimsjsboige/CoursIA:fix/17357-lean16a-stale-claimsCopy head branch name to clipboard