Theorem: HypersonicShapeDesign.aₚ_nonneg (CvxLean/Examples/HypersonicShapeDesign.lean)

State before:
a b : ℝ
⊢ 0 ≤ aₚ
Tactic:
unfold aₚ
State after:
a b : ℝ
⊢ 0 ≤ 5e-2

State before:
a b : ℝ
⊢ 0 ≤ 5e-2
Tactic:
norm_num
State after:
no goals