Theorem Basis.evalEquiv_toLinearMap

Modification history

2023-08-02 07:30

Mathlib/LinearAlgebra/Dual.lean

feat: define reflexive modules and prove basics of perfect pairings (#4989)

Deleted Basis.evalEquiv_toLinearMap View on Github →

2023-05-21 22:16

Mathlib/LinearAlgebra/Dual.lean

feat: port LinearAlgebra.Dual (#3659)

Added Basis.evalEquiv_toLinearMap View on Github →