search

ryankeleti / ega

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

First draft of subsection IV.16.6 #166

Closed solov-t closed 4 years ago

solov-t commented 4 years ago

Good section. (ignore my commit "Fixed nomenclature of torsor". I merged Ryan's corrections after that).