apply — Mathlib

English

If x is a fixed point of f, then f(x) is a fixed point of f as well; i.e., fixed points are stable under f.

Русский

Если x является фиксированной точкой f, то f(x) также фиксирована точке f; то есть фиксированная точка сохраняется под действием f.

LaTeX

$$$IsFixedPt f x \rightarrow IsFixedPt f (f x)$$$

Lean4

protected theorem apply {x : α} (hx : IsFixedPt f x) : IsFixedPt f (f x) := by convert hx

Похожие утверждения