Theorem Module.Presentation.finite

Modification history

2024-11-02 13:54

Mathlib/Algebra/Module/Presentation/Finite.lean

feat(Algebra/Module): relation between Module.FinitePresentation and Module.Presentation (#18408) …

Added Module.Presentation.finite View on Github →