Repository navigation

feat(geometry,#17544): notebook Geometry-05 -- le pont formel (Grobner vs noyau) - #20062

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/17544-geometry-05-pont-formel

Oct 10, 2026

Merged

feat(geometry,#17544): notebook Geometry-05 -- le pont formel (Grobner vs noyau)#20062
myia-ai-01 merged 3 commits into
mainfrom
feature/17544-geometry-05-pont-formel

Commits on Oct 9, 2026
- feat(geometry,#17544): notebook Geometry-05 -- le pont formel, « prouve par Grobner » face au noyau
  
  jsboige
  and
  claude
  committed
  7b37f16
- Fix(geometry,#17544): corrige le renvoi relatif vers Lean-38 dans Geometry-05
  
  jsboige
  and
  claude
  committed
  9238a74
- fix(geometry,#17544): mailler la chaine de navigation 02->03 et 04->05
  
  jsboige
  and
  claude
  committed
  a6920aa