simp[ORingSymbol.numeral, Semiterm.Operator.numeral_zero]
L : Language
inst✝¹¹ : Operator.Zero L
inst✝¹⁰ : Operator.One L
inst✝⁹ : Operator.Add L
M : Type u
inst✝⁸ : Zero M
inst✝⁷ : One M
inst✝⁶ : Add M
inst✝⁵ : Mul M
inst✝⁴ : LT M
inst✝³ : Structure L M
inst✝² : Structure.Zero L M
inst✝¹ : Structure.One L M
inst✝ : Structure.Add L M
⊢ Semiterm.Operator.val 0 ![] = ORingSymbol.numeral 0
no goals