search

ryankeleti / ega

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

fixed labels in schemes #30

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

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