Mathlib Changelog
v4
Changelog
About
Github
Theorem
SetTheory.PGame.moveRight_toRightMovesNim
Modification history
2024-12-16 11:23
Mathlib/SetTheory/Game/Nim.lean
chore(SetTheory/Game/PGame): deprecate primed lemmas (#18469) …
Added
SetTheory.PGame.moveRight_toRightMovesNim
View on Github →