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

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

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