Theorem LinearMap.surjective_range_liftQ

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