Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-05-04 07:50
ba4bf545
View on Github →
feat(set_theory/game/pgame): Add more congr lemmas (
#13808
)
Estimated changes
Modified
src/set_theory/game/pgame.lean
added
theorem
pgame.add_congr_left
added
theorem
pgame.add_congr_right
modified
theorem
pgame.equiv_refl
added
theorem
pgame.equiv_rfl
added
theorem
pgame.sub_congr_left
added
theorem
pgame.sub_congr_right