search

ryankeleti / ega

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

sref #35

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

https://github.com/ryankeleti/ega/issues/32

(after this pull request I'll rebase so the commit history doesn't get really big again)