∫ Утверждение Mathlib

toRange_ι

Mathlib.AlgebraicTopology.SimplicialSet.Subcomplex

URI: https://scilib.ai/kg/mathlib#SSet.Subcomplex.toRange_ι

← MathLib Explorer