Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-03-22 10:12 0b543c34

View on Github →

feat(linear_algebra/dual): add dual_annihilator_sup_eq_inf_dual_annihilator (#6808)

Estimated changes