*): improve autogenerated instance names for `o.out.α` (#14342)

Commit

3 years ago

chore(set_theory/ordinal/*): improve autogenerated instance names for `o.out.α` (#14342)

Author

vihdzp

Parents