Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-11-26 09:59
2d476e0e
View on Github →
chore(data/equiv/basic): Add comp_swap_eq_update (
#5091
)
Estimated changes
Modified
src/data/equiv/basic.lean
added
theorem
equiv.comp_swap_eq_update
added
theorem
equiv.swap_eq_update