`OAI/RepresentationTheory/FiniteUnitary/`

235 declarations, 0 contain sorry, 0 declared as axioms; 11 files

Files

Action.lean 5 declarations
Averaging.lean 40 declarations
Characters.lean 9 declarations
Coefficients.lean 18 declarations
CommutingBlocks.lean 29 declarations
Fourier.lean 13 declarations
Frames.lean 33 declarations
KernelBounds.lean 10 declarations
Reconstruction.lean 38 declarations
Sampling.lean 29 declarations
Uncertainty.lean 11 declarations