Mathlib v3 is deprecated. Go to Mathlib v4

Theorem continuous.matrix_diagonal

Modification history

2022-04-23 22:43

src/topology/algebra/matrix.lean

fix(topology/algebra/matrix): correct a lemma name (#13640)

Added continuous.matrix_diagonal View on Github →