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