Def CategoryTheory.MonoidalCategory.MonoidalLeftAction.leftActionOfMonoidalOppositeRightAction

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.MonoidalLeftAction.leftActionOfMonoidalOppositeRightActionView on Github →