∫ Утверждение Mathlib
diagram'
Mathlib.Topology.Category.Profinite.Extend
URI: https://scilib.ai/kg/mathlib#Profinite.diagram'
∫ Утверждение Mathlib
Mathlib.Topology.Category.Profinite.Extend
URI: https://scilib.ai/kg/mathlib#Profinite.diagram'