Theorem Submodule.map_dualCoannihilator_linearEquiv_flip

Modification history

2023-12-05 15:20
Mathlib/LinearAlgebra/PerfectPairing.lean
feat: lemmas about perfect pairings and dual (co)annihilators (#8824)
Added Submodule.map_dualCoannihilator_linearEquiv_flipView on Github →