mathlib3
1e72fb3f - feat(representation_theory/Action): mapping by a monoidal functor (#14331)

Commit

3 years ago

feat(representation_theory/Action): mapping by a monoidal functor (#14331) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents