Repository navigation

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

Commits on Oct 22, 2026
- Add(lean,#17544): companion 03b -- decomposition de Ritt (module Geometry.Ritt)
  
  jsboige
  and
  claude
  committed
  a757a2b
- Docs(lean,#17544): 03b -- le temoin de bord cumule deux degenerescences
  
  jsboige
  and
  claude
  committed
  439d9f6