basic): relabellings preserve being numeric (#14406)

Commit

3 years ago

feat(set_theory/surreal/basic): relabellings preserve being numeric (#14406) Co-authored-by: Yaël Dillies <yael.dillies@gmail.com>

Author

vihdzp

Parents