Grothendieck's use of equality (via Corbin) — discussion

#formalmethods #math #pdf #plt