cantor_normal_form): implementation notes (#15466)

Commit

3 years ago

doc(set_theory/ordinal/cantor_normal_form): implementation notes (#15466) We write a short paragraph on why `CNF` is implemented as a list of pairs.

Author

vihdzp

Parents