Theorem SetTheory.PGame.neg_down

Modification history

2025-03-20 10:32

Mathlib/SetTheory/Game/PGame.lean

chore: split `SetTheory.Game.PGame` (#23133) …

Modified SetTheory.PGame.neg_down View on Github →

2024-12-21 03:42

Mathlib/SetTheory/Game/PGame.lean

feat(SetTheory/Game/PGame): down and up games (#19393) …

Added SetTheory.PGame.neg_down View on Github →