Theorem Submodule.coe_dualCoannihilator_span

Modification history

2024-11-07 11:59
Mathlib/LinearAlgebra/Dual.lean
feat: define restrictions of perfect pairings (#18559) …
Added Submodule.coe_dualCoannihilator_spanView on Github →