Theorem Submodule.dualCoannihilator_map_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.dualCoannihilator_map_linearEquiv_flipView on Github →