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

tensorUnit_obj

Mathlib.Algebra.Category.FGModuleCat.Basic

URI: https://scilib.ai/kg/mathlib#FGModuleCat.tensorUnit_obj

← MathLib Explorer