Documentation

LeanPool.Superorthogonality.LeanSuperorthogonality.Codex

Supporting modules for Square-function estimates from type IV superorthogonality.