Theorem LinearMap.injective_range_liftQ_of_exact

Modification history

2024-11-13 17:52
Mathlib/Algebra/Exact.lean
feat(Algebra/Module): presentation of the cokernel of a linear map (#18332) …
Added LinearMap.injective_range_liftQ_of_exactView on Github →