Theorem LinearEquiv.comp_toLinearMap_eq_iff

Modification history

2024-10-31 02:17
Mathlib/Algebra/Module/Equiv/Defs.lean
feat (RootSystem/Hom): endomorphisms and automorphisms of root pairings (#18025) …
Added LinearEquiv.comp_toLinearMap_eq_iffView on Github →