Decomposition of the auxiliary function $K$ (Ge–Jin–Zheng Lemma 7; Chen–Li Lemma 4.7)

Initializing...

Decomposition of the auxiliary function $K$ (Ge–Jin–Zheng Lemma 7; Chen–Li Lemma 4.7) · Prove2Me