ordinal): addition of ordinals on games matches natural addition (#14298)

Commit

3 years ago

feat(set_theory/game/ordinal): addition of ordinals on games matches natural addition (#14298)

Author

vihdzp

Parents