search

ryankeleti / ega

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

First Draft of Section IV.16.4 #155

Closed solov-t closed 4 years ago

ryankeleti commented 4 years ago

Thanks!