Skip to content

feat(lean,#16650): arcPartition_sameRel — préservation générale de la partition d'arcs sous R3 connectée (FR + EN) - #18100

Merged
myia-ai-01 merged 6 commits into
mainfrom
feature/16650-r3-arcpartition
Sep 29, 2026
Merged

feat(lean,#16650): arcPartition_sameRel — préservation générale de la partition d'arcs sous R3 connectée (FR + EN)#18100
myia-ai-01 merged 6 commits into
mainfrom
feature/16650-r3-arcpartition

fix(lean,#18100): EN sibling aligned on Conway_en / namespace Knots_e…

40d8c42
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar