self_adjoint): generalize scalar action instances (#12021)

Commit

3 years ago

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.

Author

eric-wieser

Parents

5166aaab

mathlib 199e8ca8 - feat(algebra/star/self_adjoint): generalize scalar action instances (#12021)

mathlib
199e8ca8 - feat(algebra/star/self_adjoint): generalize scalar action instances (#12021)