Theorem CategoryTheory.MonoidalCategory.MonoidalLeftAction.monoidalOppositeLeftAction_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.MonoidalLeftAction.monoidalOppositeLeftAction_actionObj_mopView on Github →