search

ryankeleti / ega

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

Minor typos #190

Closed carmonamateo closed 3 years ago

carmonamateo commented 3 years ago

I am using a zulip server on Grothendieck to proofread the work https://grothendieckthemes.zulipchat.com/join/3pj2taswn4yga3zclj2hrls4/ you are welcome!

thosgood commented 3 years ago

not sure how my spell-check missed all these, so thank you!