Theoremcore
Convolution theorem
Also called DFT convolution theorem.
The DFT of a cyclic convolution is the pointwise product of the DFTs.
The DFT of a cyclic convolution is the pointwise product of the DFTs.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag R0R6ZN Edit this page History Report an error