Square-function estimates from type IV superorthogonality

Source: url:https://github.com/roos-j/lean-superorthogonality Authors: Joris Roos Status: verified Main declarations: Superorthogonal.sqfct_estimate_of_type_iv_superorthogonal Tags: harmonic-analysis, superorthogonality, square-functions MSC: 42B25, 46E30