mathlib
82b9c42f - feat(set_theory/game/nim): Mark many lemmas as `simp` (#13844)

Commit

3 years ago

feat(set_theory/game/nim): Mark many lemmas as `simp` (#13844)

Author

vihdzp

vihdzp

Parents

Loading