Mathlib Changelog
v4
Changelog
About
Github
Commit
2026-08-12 12:06
dbe907ac
View on Github →
feat(LinearAlgebra): generalize dualAnnihilator_iInf_eq to Sort (
#42240
)
Estimated changes
Modified
Mathlib/LinearAlgebra/Dual/Lemmas.lean
modified
theorem
Subspace.dualAnnihilator_iInf_eq