Repository navigation

feat(lean-grothendieck): formaliser la propriété et la topologie fppf - #15382

Merged

myia-ai-01 merged 3 commits into

mainfrom

feature/14782-fppf

Sep 10, 2026

Commits on Sep 9, 2026
- feat(lean-grothendieck): formalize fppf topology foundations
  
  jsboige
  and
  claude
  committed
  3148261
- Merge remote-tracking branch 'origin/main' into feature/14782-fppf
  jsboige
  committed
  683e974
- refactor(lean-grothendieck): narrow fppf transparency scope
  
  jsboige
  and
  claude
  committed
  668beea