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