Repository navigation
feat(lean,#17845): brique k2.6a -- pont de niveau liftUp/pushUp (embedding produit vers Fin (d+1)) - #19089
Closed
jsboige wants to merge 6 commits into
Closed
feat(lean,#17845): brique k2.6a -- pont de niveau liftUp/pushUp (embedding produit vers Fin (d+1))#19089jsboige wants to merge 6 commits into
jsboige wants to merge 6 commits into
Commits
Commits on Oct 8, 2026
- andcommitted
- andcommitted
- andcommitted
- authored
Commits on Oct 9, 2026
