Theorem CategoryTheory.MonoidalCategory.MonoidalRightAction.monoidalOppositeRightAction_actionObj_mop

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