Theorem 4 — $\Lambda>0$ implies ellipticity (positive definiteness of $\Delta f\,\delta-Q$)

Initializing...

Theorem 4 — $\Lambda>0$ implies ellipticity (positive definiteness of $\Delta f\,\delta-Q$) · Prove2Me