P

Initializing...

Corollary 2.3, p. 14 — group morphisms H #^f_α G → H #^{f′}_{α′} G correspond bijectively to quadruples (u, r, v, s) · Prove2Me