`OAI/LinearAlgebra/Hadamard/`

147 declarations, 0 contain sorry, 0 declared as axioms; 9 files

Files

Basic.lean 26 declarations
CubeFibers.lean 18 declarations
Equivalence.lean 19 declarations
Fourier.lean 25 declarations
Main.lean 8 declarations
Polynomials.lean 18 declarations
TaoExponents.lean 15 declarations
TaoFourier.lean 8 declarations
TaoSymmetry.lean 10 declarations