search

ryankeleti / ega

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

First draft of IV.16.7 #169

Closed solov-t closed 4 years ago

solov-t commented 4 years ago

Also replaced my $\xrightarrow{\sim}$ 's with $\isoto$ 's

thosgood commented 4 years ago

great work!