mathlib
2ddf74ab - feat(set_theory/game/nim): lemmas about `nim 1` (#14787)

Commit

3 years ago

feat(set_theory/game/nim): lemmas about `nim 1` (#14787)

Author

vihdzp

vihdzp

Parents

Loading