search

ryankeleti / ega

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

some more ega2-8 #121

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

again, a PR before the section is fully finished, because it's so big