Potential Is Stable of strong
TwoHiggsDoublet.potentialIsStable_of_strong
Project documentation
The potential is stable if it is strongly stable, i.e. its quartic term is always positive. The proof of this result relies on the compactness of the closed unit ball in EuclideanSpace ℝ (Fin 3), and the extreme value theorem.
Source project: Physlib
Person-level attribution pending.