Theorem sumElim_dotProduct_sumElim

Modification history

2025-02-21 13:51

Mathlib/Data/Matrix/Mul.lean

chore: more renamings to fit the naming convention (#22148) …

Added sumElim_dotProduct_sumElim View on Github →