Theorem Matrix.isAdjMatrix_iff_hadamard

Modification history

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