Theorem LinearMap.coe_zero_iff

Modification history

2026-03-13 08:20
Mathlib/Algebra/Module/LinearMap/Defs.lean
feat: supporting lemmas for theory of bases in Lie theory (#36297) …
Added LinearMap.coe_zero_iffView on Github →