GitHub repository: ryankeleti/en.ega.i
Primary language: TeX
Created: 2018-08-12T02:47:04Z
Description: amateur translation (fr->en) project for Grothendieck's EGA I.