TY  - RPRT
TI  - Grothendieck's use of equality
AU  - Kevin Buzzard
PY  - 2024
UR  - https://arxiv.org/abs/2405.10387
ID  - 2405.10387
ER  -