there's an english translation: https://mikepierce.github.io/grothendieck-kimchi/translations/english/ https://mikepierce.github.io/grothendieck-kimchi/transla

there's an english translation: https://mikepierce.github.io/grothendieck-kimchi/translations/english/ https://mikepierce.github.io/grothendieck-kimchi/translation...