An injective linear map over a DVR whose cokernel has finite length becomes bijective after base change to the fraction field.

Initializing...

An injective linear map over a DVR whose cokernel has finite length becomes bijective after base change to the fraction field. · Prove2Me