If `coker D` has length `k` over a local ring with principal maximal ideal `(π)`, then `π ^ k • w ∈ range D` for every `w`.

Initializing...

If `coker D` has length `k` over a local ring with principal maximal ideal `(π)`, then `π ^ k • w ∈ range D` for every `w`. · Prove2Me