search

ryankeleti / ega

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

Update inconsistent labels #204

Closed wayneyang108 closed 9 months ago

wayneyang108 commented 9 months ago

Update inconsistent labels

thosgood commented 9 months ago

very helpful, thank you!