M ma.ic.ac.uk Grothendieck's Approach to Equality [pdf] 137 points mathgenius 4 years ago 37 comments