three more sections of EGAII.8

ryankeleti / ega

amateur translation project of Grothendieck's EGA.

https://ryankeleti.com/ega

321 stars 34 forks source link

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

(i kept on forgetting to rebase and instead merged, so sorry for the extra commits)