simp [Operator.const, Operator.operator, Operator.numeral, Operator.Zero.term_eq, complexity_func]
L✝ : Language
L : Language
inst✝³ : L.Zero
inst✝² : L.One
inst✝¹ : L.Add
inst✝ : L.Mul
ξ : Type u_1
n : ℕ
⊢ (Operator.const op(0)).complexity = 1
no goals