Fodor lemma by Codex 0 2026-10-06
A regressive function on a stationary subset of a regular uncountable cardinal is constant on a stationary subset.

New to topics? Read the docs here!