Theorem SModEq.smul

Modification history

2023-03-13 14:02
Mathlib/LinearAlgebra/SModEq.lean
feat: Port/LinearAlgebra.Smodeq (#2788) …
Added SModEq.smulView on Github →