issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
330
stars
34
forks
source link
Fixed a small typo in Notation 1.1.1
#113
Closed
artemmavrin
closed
4 years ago
thosgood
commented
4 years ago
thank you!
thank you!