Subsection IV.16.8 - Githubissues

ryankeleti / ega

amateur translation project of Grothendieck's EGA.

https://ryankeleti.com/ega

317 stars 33 forks source link

Closed solov-t closed 4 years ago

solov-t commented 4 years ago

Over 2000 lines on ega4-16, Hooray!

ryankeleti commented 4 years ago

Wow! These sections are getting beefy

thosgood commented 4 years ago

awesome work, well done!

solov-t commented 4 years ago

Wow! These sections are getting beefy

And its not even top 3 biggest subsections of IV-4 😭 But it feels good to actually get this close to finishing