mathlib
666c6e00 - feat(set_theory/game/nim): Grundy value in terms of right moves (#15410)

Commit

3 years ago

feat(set_theory/game/nim): Grundy value in terms of right moves (#15410)

Author

vihdzp

vihdzp

Parents

Loading