search

ryankeleti / ega

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

Update ega1-3.tex Minor typo #153

Closed carmonamateo closed 4 years ago

ryankeleti commented 4 years ago

thanks!