Skip to content

feat(lean,#17845): brique k1.7 -- contention de support (correctif d'hypothese des briques k1) - #19066

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/komlos-k17-containment
Oct 5, 2026
Merged

feat(lean,#17845): brique k1.7 -- contention de support (correctif d'hypothese des briques k1)#19066
myia-ai-01 merged 2 commits into
mainfrom
feature/komlos-k17-containment

fix(lean): translate containment mass docstring

c1455a7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar