mathlib
f18afbe9 - feat(set_theory/game/nim): recursors for left/right nim moves (#15408)

Commit

3 years ago

feat(set_theory/game/nim): recursors for left/right nim moves (#15408)

Author

vihdzp

vihdzp

Parents

Loading