Def Module.Presentation.cokernelRelations

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