Theorem Module.Presentation.cokernelSolution.isPresentation

Modification history

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