∫ Утверждение Mathlib
id_tensorHom
Mathlib.AlgebraicTopology.SimplexCategory.Augmented.Monoidal
URI: https://scilib.ai/kg/mathlib#AugmentedSimplexCategory.id_tensorHom
∫ Утверждение Mathlib
Mathlib.AlgebraicTopology.SimplexCategory.Augmented.Monoidal
URI: https://scilib.ai/kg/mathlib#AugmentedSimplexCategory.id_tensorHom