issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317
stars
33
forks
source link
minor typos
#202
Closed
carmonamateo
closed
1 year ago
thosgood
commented
1 year ago
thanks!
thanks!