[Merged by Bors] - feat: lemmas on ordinal exponentiation/logarithms - #36583
Closed
vihdzp wants to merge 5 commits into
Closed
[Merged by Bors] - feat: lemmas on ordinal exponentiation/logarithms#36583vihdzp wants to merge 5 commits into
vihdzp wants to merge 5 commits into
Commits
Commits on Mar 13, 2026
- committed
- authored
- committed
- committed
- committed
