arithmetic): miscellaneous arithmetic lemmas (#15990)

Commit

2 years ago

feat(set_theory/ordinal/arithmetic): miscellaneous arithmetic lemmas (#15990) Will be used to prove statements about the Cantor Normal Form.

Author

vihdzp

Parents