Theorem Module.Dual.eval_comp_comp_evalEquiv_eq

Modification history

2024-10-31 02:17
Mathlib/LinearAlgebra/Dual.lean
feat (RootSystem/Hom): endomorphisms and automorphisms of root pairings (#18025) …
Added Module.Dual.eval_comp_comp_evalEquiv_eqView on Github →