Skip to content

feat(lean,#16650): theoreme de commutation SameClass — deux fusions mergePair commutent au niveau des classes - #17646

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/16650-sameclass-commutation
Sep 25, 2026
Merged

feat(lean,#16650): theoreme de commutation SameClass — deux fusions mergePair commutent au niveau des classes#17646
myia-ai-01 merged 2 commits into
mainfrom
feature/16650-sameclass-commutation

fix(lean,#16650): Conway/Conway_en compilent -- 3 erreurs d'elaboration

34b4e98
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar