feat(lean,#17845): Komlos k1.1 — distance de décalage Δ (Def 1.3) - #18630

feat(lean,#17845): Komlos k1.1 — distance de décalage Δ (Def 1.3)#18630

myia-ai-01 merged 15 commits into

mainjsboige/CoursIA:mainfrom

feature/17845-k2-lemme-1-4jsboige/CoursIA:feature/17845-k2-lemme-1-4Copy head branch name to clipboard