[jojomodding]

Interestingly, the way in which Grothendieck conceived of equality is nowadays being questioned, especially due to the rise of formalized mathematics and Lean. More concretely, there is this fun paper by Kevin Buzzard which deconstructs it: https://arxiv.org/abs/2405.10387

Money quote:

> In this paper I argue that the first assertion above is false, the second is dan- gerous, and the third is meaningless.