Commit 2022-02-14 14:46 199e8ca8
View on Github →feat(algebra/star/self_adjoint): generalize scalar action instances (#12021)
The distrib_mul_action instance did not require the underlying space to be a module.
feat(algebra/star/self_adjoint): generalize scalar action instances (#12021)
The distrib_mul_action instance did not require the underlying space to be a module.