∫ Утверждение Mathlib
mem_degenerate_iff_notMem_nonDegenerate
Mathlib.AlgebraicTopology.SimplicialSet.Degenerate
URI: https://scilib.ai/kg/mathlib#SSet.mem_degenerate_iff_notMem_nonDegenerate
∫ Утверждение Mathlib
Mathlib.AlgebraicTopology.SimplicialSet.Degenerate
URI: https://scilib.ai/kg/mathlib#SSet.mem_degenerate_iff_notMem_nonDegenerate