Theorem Matrix.of_one_hadamard

Modification history

2026-01-31 00:21

Mathlib/LinearAlgebra/Matrix/Hadamard.lean

feat(LinearAlgebra/Matrix/Hadamard): some API (#34600) …

Added Matrix.of_one_hadamard View on Github →