P

Initializing...

Positive determinant of $\mathrm{THess}$ on the energy component implies positive definiteness · Prove2Me