Def CategoryTheory.MonoidalCategory.MonoidalRightAction.monoidalOppositeRightAction

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