Theorem SetTheory.PGame.equiv_def

Modification history

2025-03-20 10:32

Mathlib/SetTheory/Game/PGame.lean

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

Modified SetTheory.PGame.equiv_def View on Github →

2024-06-30 07:04

Mathlib/SetTheory/Game/PGame.lean

feat(SetTheory/Game/PGame): equiv_def and missing Trans instances (#14277) …

Added SetTheory.PGame.equiv_def View on Github →