Skip to content

Module morphisms polymorphic in the underlying ring structure#2810

Closed
Taneb wants to merge 3 commits into
agda:masterfrom
Taneb:polymorphic-module-morphisms
Closed

Module morphisms polymorphic in the underlying ring structure#2810
Taneb wants to merge 3 commits into
agda:masterfrom
Taneb:polymorphic-module-morphisms