mathlib3

2d476e0e - chore(data/equiv/basic): Add comp_swap_eq_update (#5091)