Length of the cokernel of the strict quotient map `phi`: it equals `s * N - tri d`, computed from the relation `e ^ d * phi = pi ^ s • iota` and the cokernel lengths of `iota`, `e`, `pi`.

Initializing...

Length of the cokernel of the strict quotient map `phi`: it equals `s * N - tri d`, computed from the relation `e ^ d * phi = pi ^ s • iota` and the cokernel lengths of `iota`, `e`, `pi`. · Prove2Me