Commit 2020-12-19 02:24 ec1b70eb
View on Github →chore(linear_algebra/multilinear): Add map_update_zero (#5417)
map_coord_zero isn't in a form that can be used by simp, so this introduces a form which can.
chore(linear_algebra/multilinear): Add map_update_zero (#5417)
map_coord_zero isn't in a form that can be used by simp, so this introduces a form which can.