fix(lean,#18053): tranche Lean -- DANGLING_INTRO Lean-01-Setup cell[3] + INTERP_BEFORE_CODE Lean-7b-Examples cell[21] - #19878

fix(lean,#18053): tranche Lean -- DANGLING_INTRO Lean-01-Setup cell[3] + INTERP_BEFORE_CODE Lean-7b-Examples cell[21]#19878

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/18053-lean-interp-positioningjsboige/CoursIA:fix/18053-lean-interp-positioningCopy head branch name to clipboard