∫ Утверждение Mathlib
topIsoZero
Mathlib.AlgebraicTopology.SimplexCategory.Basic
URI: https://scilib.ai/kg/mathlib#SimplexCategory.topIsoZero
∫ Утверждение Mathlib
Mathlib.AlgebraicTopology.SimplexCategory.Basic
URI: https://scilib.ai/kg/mathlib#SimplexCategory.topIsoZero