cantor_normal_form): rename hypotheses (#15229)

Commit

3 years ago

style(set_theory/ordinal/cantor_normal_form): rename hypotheses (#15229) We rename hypotheses with names like `o0`, `b0`, and `b1` to more standard `ho` and `hb`.

Author

vihdzp

Parents

4b1c83f1

mathlib 6102220d - style(set_theory/ordinal/cantor_normal_form): rename hypotheses (#15229)

mathlib
6102220d - style(set_theory/ordinal/cantor_normal_form): rename hypotheses (#15229)