Skip to content

[Merged by Bors] - feat: lemmas on ordinal exponentiation/logarithms - #36583

Closed
vihdzp wants to merge 5 commits into
leanprover-community:masterfrom
vihdzp:ordinalpow
Closed

[Merged by Bors] - feat: lemmas on ordinal exponentiation/logarithms#36583
vihdzp wants to merge 5 commits into
leanprover-community:masterfrom
vihdzp:ordinalpow

generalize thm

82f7b03
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.