Theorem Matrix.comp_diagonal_diagonal

Modification history

2025-01-30 06:18

Mathlib/Data/Matrix/Composition.lean

feat: lemmas about `Matrix.comp` for `diagonal` and `stdBasis` (#21181)

Added Matrix.comp_diagonal_diagonal View on Github →