AoC edits

Meta


Stuck that's in the todo list for the AxiomsOfChoice site:

entries

Natural number $\to$ First infinite von Neumann ordinal

— ==== Discussion ==== $\to$ 5-

— ==== Parents ==== $\to$ 5-

graph

— Sequel of (red)

— Exposition (light red)


nikolajs notebook