Mathlib v3 is deprecated. Go to Mathlib v4

Theorem linear_map.smul_right_eq_comp

Modification history

2023-05-27 08:18
src/linear_algebra/alternating.lean
feat(linear_algebra/alternating): add 3 missing definitions (#19069)
Added linear_map.smul_right_eq_compView on Github →