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