Skip to content

feat(lean,#2159): Partie 76 -- le faisceau est exactement le prefaisceau separe qui recolle - #16047

Merged
myia-ai-01 merged 1 commit into
mainfrom
lean/2159-p76-stalk-characterization
Sep 14, 2026
Merged

feat(lean,#2159): Partie 76 -- le faisceau est exactement le prefaisceau separe qui recolle#16047
myia-ai-01 merged 1 commit into
mainfrom
lean/2159-p76-stalk-characterization

feat(lean,#2159): Partie 76 -- le faisceau est exactement le prefaisc…

178e30a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar