Theorem LinearMap.mk_coe'

Modification history

2025-05-25 19:24
Mathlib/Algebra/Module/LinearMap/Defs.lean
feat(AlgHom): improve simp normal form (#25177) …
Added LinearMap.mk_coe'View on Github →