Theorem Matrix.one_hadamard

Modification history

2026-01-31 00:21

Mathlib/LinearAlgebra/Matrix/Hadamard.lean

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

Modified Matrix.one_hadamard View on Github →

2023-04-03 10:24

Mathlib/Data/Matrix/Hadamard.lean

feat: port Data.Matrix.Hadamard (#3238)

Added Matrix.one_hadamard View on Github →