fix(notebook,#17357): Lean-03b -- attente d axiomes alignee sur la sortie committee (F1) - #20116

Oct 11, 2026

fix(notebook,#17357): Lean-03b -- attente d axiomes alignee sur la sortie committee (F1)#20116
myia-ai-01 merged 1 commit into
mainfrom
fix/17357-lean-03b-axioms

fix(notebook,#17357): Lean-03b -- l'attente d'axiomes alignee sur la sortie (F1)