arithmetic): Rename theorems to match `nat.log` API (#12733)

Commit

3 years ago

refactor(set_theory/ordinal/arithmetic): Rename theorems to match `nat.log` API (#12733) We match the API for `ordinal.log` with that of `nat.log`.

Author

vihdzp

Parents