search

ryankeleti / ega

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

numbering of sub-lemmas #143

Open thosgood opened 4 years ago

thosgood commented 4 years ago

it seems like the numbering breaks down when there are lemmas inside other lemmas. for example, II.8.3.3 in the PDF (and the original EGA) is listed as II.8.3.5 in the web version, because there are two mini-lemmas inside the proof of II.8.3.2

ryankeleti commented 4 years ago

Nice catch, I'll look into it