fix(lean,#15598): bloc per-file de lean-knot.yml re-mesuré — Conway 4, Invariant 0, somme = total 8 - #16921

fix(lean,#15598): bloc per-file de lean-knot.yml re-mesuré — Conway 4, Invariant 0, somme = total 8#16921

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

feature/15598-knot-perfile-remesurejsboige/CoursIA:feature/15598-knot-perfile-remesureCopy head branch name to clipboard