feat(lean,#4362): setup_shared_mathlib - Verify mode outille l'anti-regression distinct_code_sorry - #16046

feat(lean,#4362): setup_shared_mathlib - Verify mode outille l'anti-regression distinct_code_sorry#16046

myia-ai-01 merged 1 commit into

mainjsboige/CoursIA:mainfrom

feature/4362-junctions-apply-po2027jsboige/CoursIA:feature/4362-junctions-apply-po2027Copy head branch name to clipboard