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

limit_one_val

Mathlib.Topology.Algebra.Category.ProfiniteGrp.Basic

URI: https://scilib.ai/kg/mathlib#ProfiniteGrp.limit_one_val

← MathLib Explorer