one_mem_center — Mathlib · SciLib

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

one_mem_center

Mathlib.Algebra.Group.Center

URI: https://scilib.ai/kg/mathlib#Set.one_mem_center

← MathLib Explorer