P
Initializing...
Proposition 3.4, p. 20 — (η, ψ, γ) is a morphism of E2(H, G) iff there is a unique r : G → H with (35)–(37) · Prove2Me