Skip to content

feat(lean,#14962): fait de Fox — paire de dessus dans une classe d'arcs + somme de ligne nulle (FR+EN) - #15596

Merged
myia-ai-01 merged 1 commit into
mainfrom
feature/14962-alexander-arc-rowsum
Sep 11, 2026
Merged

feat(lean,#14962): fait de Fox — paire de dessus dans une classe d'arcs + somme de ligne nulle (FR+EN)#15596
myia-ai-01 merged 1 commit into
mainfrom
feature/14962-alexander-arc-rowsum

feat(lean,#14962): fait de Fox — paire de dessus dans une classe d'ar…

7d4750c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar