P
Initializing...
Proposition 29, p. 25 — every representable presheaf is a D space · Prove2Me