{g₁ g₂ : ℝ} (h0 : 0 ≤ g₁) (h : g₁ < g₂) : strongCoupling g₁ < strongCoupling g₂

Initializing...

{g₁ g₂ : ℝ} (h0 : 0 ≤ g₁) (h : g₁ < g₂) : strongCoupling g₁ < strongCoupling g₂ · Prove2Me