Def CategoryTheory.MonoidalCategory.MonoidalRightAction.rightActionOfMonoidalOppositeLeftAction

Modification history

2025-07-05 12:52
Mathlib/CategoryTheory/Monoidal/Action/Opposites.lean
feat(CategoryTheory/Monoidal/Action): Action of monoidal opposites (#25860) …
Added CategoryTheory.MonoidalCategory.MonoidalRightAction.rightActionOfMonoidalOppositeLeftActionView on Github →