issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
321
stars
34
forks
source link
Fixed some references.
#140
Closed
tholzschuh
closed
4 years ago