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