Theorem SetTheory.PGame.moveLeft_neg_symm'
Modification history
2025-08-05 07:35
Mathlib/SetTheory/PGame/Algebra.lean
chore: further >6month old deprecations (#27799)
Deleted SetTheory.PGame.moveLeft_neg_symm'View on Github →2025-03-20 10:32
Mathlib/SetTheory/Game/PGame.lean
chore: split `SetTheory.Game.PGame` (#23133) …
Modified SetTheory.PGame.moveLeft_neg_symm'View on Github →