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

State before:
a b : ℝ
⊢ 0 ≤ bₚ
Tactic:
unfold bₚ
State after:
a b : ℝ
⊢ 0 ≤ 0.65

State before:
a b : ℝ
⊢ 0 ≤ 0.65
Tactic:
norm_num
State after:
no goals