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