The road to epsilon-zero: ordinals as Nim-heaps

• Posted 2 hours ago by surprisetalk
• 2 points