Theorem 2.1, p. 11 — the crossed product is an initial object of ΓC and a final object of CΓ

Initializing...

Theorem 2.1, p. 11 — the crossed product is an initial object of ΓC and a final object of CΓ · Prove2Me