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

State before:
a b : ℝ
⊢ bₚ < 1
Tactic:
unfold bₚ
State after:
a b : ℝ
⊢ 0.65 < 1

State before:
a b : ℝ
⊢ 0.65 < 1
Tactic:
norm_num
State after:
no goals