Theorem LinearMap.smulRightₗ_apply_apply

Modification history

2025-12-08 18:59
Mathlib/Algebra/Module/LinearMap/End.lean
feat(LinearAlgebra/GeneralLinearGroup): algebra automorphisms in endomorphisms are inner (#28100) …
Added LinearMap.smulRightₗ_apply_applyView on Github →