issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
329
stars
34
forks
source link
progress on schemes.9
#13
Closed
thosgood
closed
6 years ago