feat(lean,#12205): obstruction non bornee -- parite des inversions sur les chemins de swaps - #14381

feat(lean,#12205): obstruction non bornee -- parite des inversions sur les chemins de swaps#14381

jsboige merged 1 commit into

mainjsboige/CoursIA:mainfrom

feature/12205-parite-swapsjsboige/CoursIA:feature/12205-parite-swapsCopy head branch name to clipboard