Theorem SModEq.sum

Modification history

2025-10-30 18:05
Mathlib/LinearAlgebra/SModEq.lean
chore: move SModEq to a new folder (#30990) …
Modified SModEq.sumView on Github →
2025-08-06 17:32
Mathlib/LinearAlgebra/SModEq.lean
feat(LinearAlgebra/SModEq): add `gcongr` lemmas (#28008)
Added SModEq.sumView on Github →