∫ Утверждение Mathlib
instReflectsEpimorphismsLightCondSetForget
Mathlib.Condensed.Light.Epi
URI: https://scilib.ai/kg/mathlib#LightCondMod.instReflectsEpimorphismsLightCondSetForget
∫ Утверждение Mathlib
Mathlib.Condensed.Light.Epi
URI: https://scilib.ai/kg/mathlib#LightCondMod.instReflectsEpimorphismsLightCondSetForget