Research proof index

The set of possible relative Hamming distances between two sets is well-defined.

A special case of Young's convolution inequality.

For a complex-valued function and a nonzero even integer $n$, discrete self-convolution has no larger $L^n$ norm than discrete self-difference-convolution: $\|f*f\|_n\le\|f\mathbin{\circleddash}f\|_n$.

Proves that a do block sampling two independent uniform distributions is equal to the single uniform distribution over the product type.

The value returned by twoNthRoot is a 2 ^ ith root of its input.

If x lies in the (i + j)th subdomain, then it has exactly 2 ^ j preimages under y ↦ y ^ 2 ^ j from the ith subdomain.