Theorem: flformat_radix_le_2 (HOLFloat/Float_theorem.lean)

State before:
fmt : flformat
⊢ 2 ≤ (↑fmt).r
Tactic:
linarith [fmt.prop.left]
State after:
no goals