Skip to content

feat(lean,#16650): repli insensible a la permutation de paires adjacentes (brique 3 R3) - #17998

Merged
myia-ai-01 merged 6 commits into
mainfrom
feature/16650-reidemeister-invariance
Sep 27, 2026
Merged

feat(lean,#16650): repli insensible a la permutation de paires adjacentes (brique 3 R3)#17998
myia-ai-01 merged 6 commits into
mainfrom
feature/16650-reidemeister-invariance

feat(lean,#16650): fold insensible a la permutation de paires adjacentes

ec76365
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar