ryankeleti / ega

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

"the question being local"; finished ega2-4.3 #165

Closed thosgood closed 4 years ago

thosgood commented 4 years ago

also changed "the question being local" to "since the question is local" everywhere

thosgood commented 4 years ago

mergedparrot 100 PRs merged! (although most of them are me just repeatedly messing up the README file)