Theorem: UInt.toNat_zero (Algdata/Classes/UInt.lean)

State before:
α : Type
inst✝¹ : (n : Nat) → OfNat α n
inst✝ : UInt α
⊢ 0 < 2
Tactic:
decide
State after:
no goals