Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.MonoidalCategory.MonoidalRightAction.id_actionHom
Modification history
2025-07-04 07:44
Mathlib/CategoryTheory/Monoidal/Action/Basic.lean
chore: further whitespace fixes (#26708) …
Modified
CategoryTheory.MonoidalCategory.MonoidalRightAction.id_actionHom
View on Github →
2025-06-22 20:25
Mathlib/CategoryTheory/Monoidal/Action/Basic.lean
feat(CategoryTheory/Monoidal/Action): monoidal right actions (#25840) …
Added
CategoryTheory.MonoidalCategory.MonoidalRightAction.id_actionHom
View on Github →