∫ Утверждение Mathlib
_aux_Mathlib_Algebra_Category_Grp_EpiMono___macroRules__private_Mathlib_Algebra_Category_Grp_EpiMono_0_GrpCat_SurjectiveOfEpiAuxs_termX_1
Mathlib.Algebra.Category.Grp.EpiMono
URI: https://scilib.ai/kg/mathlib#GrpCat.SurjectiveOfEpiAuxs._aux_Mathlib_Algebra_Category_Grp_EpiMono___macroRules__private_Mathlib_Algebra_Category_Grp_EpiMono_0_GrpCat_SurjectiveOfEpiAuxs_termX_1