issues
search
ryankeleti
/
ega
amateur translation project of Grothendieck's EGA.
https://ryankeleti.com/ega
317
stars
33
forks
source link
Increasing tocline spacing from 1.5pc to 2.2pc
#158
Closed
ryankeleti
closed
4 years ago