Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-09-26 11:05
d942826f
View on Github →
chore(SetTheory/Game/PGame): rename (
#17120
)
Estimated changes
Modified
Mathlib/SetTheory/Game/Basic.lean
Modified
Mathlib/SetTheory/Game/PGame.lean
added
theorem
SetTheory.PGame.Equiv.of_equiv
deleted
theorem
SetTheory.PGame.equiv_of_mk_equiv
deleted
theorem
SetTheory.PGame.sub_zero
added
theorem
SetTheory.PGame.sub_zero_eq_add_zero