Theorem Submodule.map_dualAnnihilator_linearEquiv_flip_symm

Modification history

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