Documentation

LeanPool.Superorthogonality.LeanSuperorthogonality

The complete superorthogonality development and its pointwise and square-function estimates.