Commit 2020-04-27 14:30 948d0fff
View on Github →chore(topology/algebra/module): don't use unbundled homs for algebra
instance (#2545)
Define special algebra.of_semimodule
and algebra.of_semimodule'
constructors instead.
ref. #2534
chore(topology/algebra/module): don't use unbundled homs for algebra
instance (#2545)
Define special algebra.of_semimodule
and algebra.of_semimodule'
constructors instead.
ref. #2534