P
Initializing...
H^{α/2} ≲ H_k + L² under local domination · Prove2Me