Skip to content

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

Merged
myia-ai-01 merged 10 commits into
mainfrom
docs/14893-admissible-rename
Sep 9, 2026
Merged

docs(lean,#14893): purge des references residuelles a admissible_implies_optimal apres renommage #14864#14920
myia-ai-01 merged 10 commits into
mainfrom
docs/14893-admissible-rename

Merge branch 'main' into docs/14893-admissible-rename

c4f02b3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar