issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
330
stars
34
forks
source link
II.8
#137
Closed
thosgood
closed
4 years ago
thosgood
commented
4 years ago
finished II.8
finished II.8