P
Initializing...
Lemma 47, p. 38 — concretization L is left adjoint to the inclusion R · Prove2Me