mathlib3

deb64432 - chore(linear_algebra/exterior_algebra): made proof of wedge_add_swap_adj look nicer