∫ Утверждение Mathlib
_aux_Mathlib_Topology_Category_LightProfinite_Sequence___macroRules_LightProfinite_termℕ∪{∞}_1
Mathlib.Topology.Category.LightProfinite.Sequence
URI: https://scilib.ai/kg/mathlib#LightProfinite._aux_Mathlib_Topology_Category_LightProfinite_Sequence___macroRules_LightProfinite_termℕ∪{∞}_1