Code

EGA III, §2#203

Code

Draft

thosgood wants to merge 4 commits intomasterryankeleti/ega:masterfrom 3-2ryankeleti/ega:3-2Copy head branch name to clipboard

+89-5

Commits

Commits on Dec 7, 2022

• starting III.2.1

  tim-at-topos

  committed
  3f4b2ac

Commits on Jan 17, 2023

• typos (thanks to Ehsan Shahoseini)

  tim-at-topos

  committed
  f0512b3

Commits on Feb 15, 2024

• small typo

  tim-at-topos

  committed
  744cbc4

Commits on Feb 16, 2024

• a half page

  tim-at-topos

  committed
  780945b