Theorem LinearMap.ker_eq_bot_range_liftQ_iff

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.ker_eq_bot_range_liftQ_iffView on Github →