# Commit 2024-10-30 05:45 39773322

View on Github →feat(Algebra/Module): characterizations of free modules in terms of their presentations (#18327)
In this PR, the API for the presentations of modules is slightly developed (uniqueness up to a linear equivalence of the module defined by generators and relations, constructor for the property `IsPresentation`

), and this is used to show that a module is free iff it admits a presentation with generators and no relation.

- depends on: #18295