issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317
stars
33
forks
source link
EGA II, §3.1
#195
Closed
thosgood
closed
2 years ago
thosgood
commented
2 years ago
(not yet ready to merge)
(not yet ready to merge)