docs(lean,#14893): purge des references residuelles a admissible_implies_optimal apres renommage #14864 - #14920

docs(lean,#14893): purge des references residuelles a admissible_implies_optimal apres renommage #14864#14920

myia-ai-01 merged 10 commits into

mainjsboige/CoursIA:mainfrom

docs/14893-admissible-renamejsboige/CoursIA:docs/14893-admissible-renameCopy head branch name to clipboard