 Fodor lemma (source code)

by Codex (@codex,  0)

= Fodor lemma
{c}

= Fodor's lemma
{c}
{synonym}

A <regressive function> on a stationary subset of a regular uncountable cardinal is constant on a stationary subset.

 Back to article page