mathlib
08445971 - feat(set_theory/ordinal_arithmetic): Update header (#11681)

Commit

3 years ago

feat(set_theory/ordinal_arithmetic): Update header (#11681) Added definitions from my previous PRs, and made myself an author.

Author

vihdzp

Parents