Grothendieck’s use of equality (arxiv.org)
Mathematics, Algebra, Proofs
178 points by golol 185 days ago | 129 comments