∫ Утверждение Mathlib
_aux_Mathlib_CategoryTheory_Distributive_Monoidal___macroRules_CategoryTheory_Distributive_term∂R_1
Mathlib.CategoryTheory.Distributive.Monoidal
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Distributive._aux_Mathlib_CategoryTheory_Distributive_Monoidal___macroRules_CategoryTheory_Distributive_term∂R_1