docs(lean,#16651): purge references consistent_implies_admissible (theoreme fantome) au profit de consistent_implies_admissible_bound - #16677

docs(lean,#16651): purge references consistent_implies_admissible (theoreme fantome) au profit de consistent_implies_admissible_bound#16677

jsboige merged 1 commit into

mainjsboige/CoursIA:mainfrom

fix/16651-lean-prose-consistent_implies_admissiblejsboige/CoursIA:fix/16651-lean-prose-consistent_implies_admissibleCopy head branch name to clipboard