Skip to content

refactor(SetTheory/Ordinal/Arithmetic): rework Ordinal.pred API #46319

refactor(SetTheory/Ordinal/Arithmetic): rework Ordinal.pred API

refactor(SetTheory/Ordinal/Arithmetic): rework Ordinal.pred API #46319

post-or-update-summary-comment

succeeded Feb 12, 2025 in 47s