issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317
stars
33
forks
source link
more II.2
#184
Closed
thosgood
closed
3 years ago
thosgood
commented
3 years ago
only a very small commit for now, but just to keep things alive!
only a very small commit for now, but just to keep things alive!