amateur translation project of Grothendieck's EGA.
Primary LanguageTeX
No issues in this repository yet.