Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-12-01 20:05
6c456e35
View on Github →
feat(linear_algebra/multilinear): Add dom_dom_congr (
#5136
)
Estimated changes
Modified
src/data/equiv/basic.lean
modified
theorem
dite_comp_equiv_update
added
theorem
function.update_apply_equiv_apply
added
theorem
function.update_comp_equiv
Modified
src/linear_algebra/multilinear.lean
added
def
multilinear_map.dom_dom_congr