Theorem Matrix.one_hadamard_eq_diagonal_iff

Modification history

2026-01-31 00:21
Mathlib/LinearAlgebra/Matrix/Hadamard.lean
feat(LinearAlgebra/Matrix/Hadamard): some API (#34600) …
Added Matrix.one_hadamard_eq_diagonal_iffView on Github →