The functor from light profinite sets to light condensed sets preserves effective epimorphisms

instance instPreservesEpimorphismsLightProfiniteLightCondSetLightProfiniteToLightCondSet : lightProfiniteToLightCondSet.PreservesEpimorphisms

instance instIsRegularEpiCategoryLightCondSet : CategoryTheory.IsRegularEpiCategory LightCondSet