Theorem: flformat_radix_lt_1 (HOLFloat/Float_theorem.lean)

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