search

ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317 stars 33 forks source link

EGA II, §3 #197

Closed thosgood closed 1 year ago

thosgood commented 2 years ago

(plus various corrections and changes for consistency throughout)