Skip to content

Commit

Permalink
chore(set_theory/ordinal/arithmetic): move power and logarithm to a n…
Browse files Browse the repository at this point in the history 
…ew file (#18441)

This represents a significant fraction of the number of lines.

The lemmas are moved without any changes.
  • Loading branch information
@eric-wieser
eric-wieser committed Feb 15, 2023
1 parent 372edc3 commit f1e061e
Show file tree
Hide file tree
Showing 4 changed files with 437 additions and 410 deletions.

0 comments on commit f1e061e

Please sign in to comment.