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

tensorUnit_β

Mathlib.CategoryTheory.Monoidal.Center

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Center.tensorUnit_β

← MathLib Explorer