ker_subtype — Mathlib · SciLib

∫ Утверждение Mathlib

ker_subtype

Mathlib.Algebra.Group.Subgroup.Ker

URI: https://scilib.ai/kg/mathlib#Subgroup.ker_subtype

← MathLib Explorer