search

ryankeleti / ega

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

first two bits of II.7 #144

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

merging "halfway" through instead of waiting for one big commit at the end