P
Initializing...
Proposition 28, p. 24 — the underlying-set functor DSpace → Set is faithful · Prove2Me