mathlib3

0b543c34 - feat(linear_algebra/dual): add dual_annihilator_sup_eq_inf_dual_annihilator (#6808)