ryankeleti / ega

amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
330 stars 34 forks source link

Typos #147

Closed solov-t closed 4 years ago

solov-t commented 4 years ago

Here is a bunch on subsection (II 1.7) I still have not read subsubsections 1.7.13 and 1.7.14

i should learn how to commit stuff.

solov-t commented 4 years ago

Finally, (II1.7.13) and (II 1.7.14):

Okay, that's everything I've found on (II 1.7)

ryankeleti commented 4 years ago

whew, done -- thank you. If you need help figuring out git/commits, I'd be glad to help! Github has a short intro to pull requests here.