mathlib
448f821d - feat(algebra/pointwise): enable pointwise add_action (#9017)

Commit

4 years ago

feat(algebra/pointwise): enable pointwise add_action (#9017) Just a little to_additive declaration

Author

alexjbest

Parents