[Merged by Bors] - chore: golf Ordinal.isPrincipal_add_iff_zero_or_omega0_opow#36798
Closed
vihdzp wants to merge 14 commits intoleanprover-community:masterfrom
Closed
[Merged by Bors] - chore: golf Ordinal.isPrincipal_add_iff_zero_or_omega0_opow#36798vihdzp wants to merge 14 commits intoleanprover-community:masterfrom
Ordinal.isPrincipal_add_iff_zero_or_omega0_opow#36798vihdzp wants to merge 14 commits intoleanprover-community:masterfrom
Commits
Commits on Mar 20, 2026
- committed
- andauthored
- committed
- committed
- committed
- committed
- committed
