Theorem Module.comap_eval_surjective

Modification history

2025-05-11 00:56

Mathlib/LinearAlgebra/Dual/Lemmas.lean

chore(LinearAlgebra/Dual): generalize to semirings (#23933)

Modified Module.comap_eval_surjective View on Github →

2023-05-21 22:16

Mathlib/LinearAlgebra/Dual.lean

feat: port LinearAlgebra.Dual (#3659)

Added Module.comap_eval_surjective View on Github →