Commit 2025-08-06 17:32 4c2080a7

View on Github →

feat(LinearAlgebra/SModEq): add gcongr lemmas (#28008)

Estimated changes

added theorem SModEq.comm
added theorem SModEq.prod
added theorem SModEq.sum