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