∫ Утверждение Mathlib
π_tensor_id_actRight
Mathlib.CategoryTheory.Monoidal.Bimod
URI: https://scilib.ai/kg/mathlib#Bimod.TensorBimod.π_tensor_id_actRight
∫ Утверждение Mathlib
Mathlib.CategoryTheory.Monoidal.Bimod
URI: https://scilib.ai/kg/mathlib#Bimod.TensorBimod.π_tensor_id_actRight