Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-12-16 01:30
3f813de5
View on Github →
feat(SetTheory/Game/PGame): identical_of_eq (
#19983
) To complement
equiv_of_eq
.
Estimated changes
Modified
Mathlib/SetTheory/Game/PGame.lean
added
theorem
SetTheory.PGame.identical_of_eq