Theorem Ordinal.toPGame_moveLeft'

Modification history

2026-02-20 00:22
Mathlib/SetTheory/Game/Ordinal.lean
chore: remove deprecated material from CGT (#35550) …
Deleted Ordinal.toPGame_moveLeft'View on Github →
2023-06-26 14:46
Mathlib/SetTheory/Game/Ordinal.lean
feat: port SetTheory.Game.Ordinal (#5480)
Added Ordinal.toPGame_moveLeft'View on Github →