search

ryankeleti / ega

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

Update CONTRIBUTORS #154

Closed carmonamateo closed 4 years ago