The cokernel of multiplication by `e` on `(Π C_j) ⧸ (g)` has length `Σ_j length (C_j ⧸ (g_j, e_j))`.

Initializing...

The cokernel of multiplication by `e` on `(Π C_j) ⧸ (g)` has length `Σ_j length (C_j ⧸ (g_j, e_j))`. · Prove2Me