mathlib3

refactor(set_theory/ordinal/cantor_normal_form): CNF as an association list

#16010

Open