docs(analyse,#17357): retirer la preuve Lean 4 verbatim du stub mul_comm (ANALYSE-02-Tao) - #20109

docs(analyse,#17357): retirer la preuve Lean 4 verbatim du stub mul_comm (ANALYSE-02-Tao)#20109

jsboige wants to merge 1 commit into

mainjsboige/CoursIA:mainfrom

fix/17357-analyse02jsboige/CoursIA:fix/17357-analyse02Copy head branch name to clipboard