Library UniMath.Algebra.Modules
Require
Export
UniMath.Algebra.Modules.Core
.