Commit 2026-07-27 23:44 5b3f719b

View on Github →

fix(LinearAlgebra/Matrix/Notation): fix defeq abuse in lemmas (#42090)

Estimated changes

modified theorem Matrix.empty_vecMulVec
modified theorem Matrix.replicateCol_empty