Theorem CategoryTheory.MonoidalCategory.MonoidalRightAction.id_actionHom

Modification history