fix(lean,#17357): Lean-16d -- deux affirmations fausses (axiomes, exercice 3) - #20124

fix(lean,#17357): Lean-16d -- deux affirmations fausses (axiomes, exercice 3)#20124

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/17357-lean16d-transparencejsboige/CoursIA:fix/17357-lean16d-transparenceCopy head branch name to clipboard