transfinite induction

Induction over some (typically large) ordinal.

1
Show
Maximize