Theorem AlternatingMap.smulRight_eq_comp

Modification history

2026-05-16 09:43
Mathlib/LinearAlgebra/Alternating/Basic.lean
chore: rename Linear.smulRight_eq_comp (#39360) …
Added AlternatingMap.smulRight_eq_compView on Github →