Theorem Module.Relations.Solution.IsPresentation.directSum

Modification history

2024-11-04 07:19

Mathlib/Algebra/Module/Presentation/DirectSum.lean

feat(Algebra/Module): presentation of a direct sum of modules (#18359) …

Added Module.Relations.Solution.IsPresentation.directSum View on Github →