Theorem Module.eval_ker

Modification history

2024-11-09 14:01

Mathlib/LinearAlgebra/Dual.lean

feat(LinearAlgebra/Dual): generalize results from Free to Projective (#18686) …

Modified Module.eval_ker View on Github →

2023-05-21 22:16

Mathlib/LinearAlgebra/Dual.lean

feat: port LinearAlgebra.Dual (#3659)

Added Module.eval_ker View on Github →