Theorem: fformat_radix_even (HOLFloat/Fixed_theroem.lean)

State before:
fmt : fformat
⊢ (↑fmt).r % 2 = 0
Tactic:
simp [fmt.prop.right.left]
State after:
no goals