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

coe_tensorUnit

Mathlib.Algebra.Category.CommAlgCat.Monoidal

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

← MathLib Explorer