Skip to content

Add(lean,#17544): companion 03b — décomposition de Ritt (module Geometry.Ritt) - #21999

Merged
myia-ai-01 merged 2 commits into
mainfrom
feature/17544-geo-companion-03b
Oct 22, 2026
Merged

Add(lean,#17544): companion 03b — décomposition de Ritt (module Geometry.Ritt)#21999
myia-ai-01 merged 2 commits into
mainfrom
feature/17544-geo-companion-03b

Docs(lean,#17544): 03b -- le temoin de bord cumule deux degenerescences

439d9f6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar