mem_fixedPoints_iff — Mathlib · SciLib

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

mem_fixedPoints_iff

Mathlib.Dynamics.FixedPoints.Basic

URI: https://scilib.ai/kg/mathlib#Function.mem_fixedPoints_iff

← MathLib Explorer