amateur translation project of Grothendieck's EGA.
Primary LanguageTeX
No one’s star this repository yet.