Jump to content

Predecessor of von Neumann ordinal Z34409
Function

From Wikifunctions