Skip to content

docs(lens,#17466): condenser les passages Game of Life de la lentille grothendieckienne - #18645

Merged
myia-ai-01 merged 1 commit into
mainfrom
docs/17466-grothendieckian-lens-condensation
Oct 1, 2026
Merged

myia-ai-01 merged 1 commit into
mainfrom
docs/17466-grothendieckian-lens-condensation

Commits

  1. Commits on Oct 1, 2026