PR !4#15989: feat(SetTheory/Ordinal/Principal): simplify ...

Stream: triage

[Random Issue Bot]

Today I chose PR #15989 for discussion!

feat(SetTheory/Ordinal/Principal): simplify characterization of additively principal ordinals
Created by @Violeta Hernández (@vihdzp) on 2024-08-20
Labels: merge-conflict, t-logic, t-set-theory

Is this PR still relevant? Any recent updates? Anyone making progress?

[Violeta Hernández]

Still relevant! I'll get this building later today.

[Violeta Hernández]

I think it should build now!