∫ Утверждение Mathlib

coe_tensorObj

Mathlib.Algebra.Category.CommAlgCat.Monoidal

URI: https://scilib.ai/kg/mathlib#CommAlgCat.coe_tensorObj

← MathLib Explorer