cantor_normal_form): move `CNF` to a new file (#14563)

Commit

3 years ago

move(set_theory/ordinal/cantor_normal_form): move `CNF` to a new file (#14563) We move the API for the Cantor Normal Form to a new file, in preparation for an API expansion.

Author

vihdzp

Parents

0f5ea396

mathlib d490ad10 - move(set_theory/ordinal/cantor_normal_form): move `CNF` to a new file (#14563)

mathlib
d490ad10 - move(set_theory/ordinal/cantor_normal_form): move `CNF` to a new file (#14563)