Referenced by:

• 13584614557664389747r
• sets-transfinite-induction