mul_action): add an instance in the presence of `is_central_scalar` (#10787)

Commit

4 years ago

feat(topology/algebra/mul_action): add an instance in the presence of `is_central_scalar` (#10787)

Author

eric-wieser

Parents