Theorem: flformat_radix_lt_0 (HOLFloat/Float_theorem.lean)

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