P
Initializing...
Lemma 48, p. 39 — concrete presheaves on a concrete site are separated · Prove2Me