Skip to main content
2 of 2
deleted 23 characters in body
saf
  • 1.1k
  • 10
  • 12

Walks on ordinals. See Propositions 4 & 5 from here.

saf
  • 1.1k
  • 10
  • 12