Theorem Module.Relations.Solution.range_π

Modification history

2024-11-02 13:54

Mathlib/Algebra/Module/Presentation/Basic.lean

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

Added Module.Relations.Solution.range_π View on Github →