cantor_normal_form): document most theorems (#15227)

Commit

3 years ago

doc(set_theory/ordinal/cantor_normal_form): document most theorems (#15227) The API around CNF is somewhat hard to wrap around, so we document many of the theorems.

Author

vihdzp

Parents

5744b50d

mathlib3 5590b0a2 - doc(set_theory/ordinal/cantor_normal_form): document most theorems (#15227)

mathlib3
5590b0a2 - doc(set_theory/ordinal/cantor_normal_form): document most theorems (#15227)