Mathlib Changelog
v4
Changelog
About
Github
Theorem
SetTheory.PGame.grundyValue_eq_sInf_moveLeft
Modification history
2024-09-18 22:25
Mathlib/SetTheory/Game/Nim.lean
chore(SetTheory/Game/Nim): redefine `grundyValue` as an infimum (#16874) …
Added
SetTheory.PGame.grundyValue_eq_sInf_moveLeft
View on Github →