Commit 2020-10-30 08:20 63c0dac6
View on Github →refactor(module/ordered): make ordered_semimodule a mixin (#4719)
Per @urkud's suggestion at #4683. This should avoid having to introduce a separate ordered_algebra
class.
refactor(module/ordered): make ordered_semimodule a mixin (#4719)
Per @urkud's suggestion at #4683. This should avoid having to introduce a separate ordered_algebra
class.