search

ryankeleti / ega

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

started schemes.10 #37

Closed thosgood closed 5 years ago

thosgood commented 5 years ago

rebase hell... but I think this now works... sorry