P
Initializing...
The map induced on cokernels is surjective when `u1` is surjective. · Prove2Me