Referenced by:

• cats-skeleton
• gcd-smallest-linear-combination
• ucb-settheory-09
• sets-ordinal
• sets-segment
• sets-transfinite-induction