nim): `nim 0` is a relabelling of `0` and `nim 1` is a relabelling of `star` (#13846)

Commit

3 years ago

feat(set_theory/game/nim): `nim 0` is a relabelling of `0` and `nim 1` is a relabelling of `star` (#13846)

Author

vihdzp

Parents