Theorem LinearEquiv.coord_apply_smul

Modification history

2023-06-08 12:59
Mathlib/LinearAlgebra/Span.lean
chore: forward-port leanprover-community/mathlib#19082 (#4816)
Added LinearEquiv.coord_apply_smulView on Github →