case pred_const_ | pred_var_ | eq_ | forall_ | exists_ | def_ =>
  rfl
V : VarBoolAssignment
a✝¹ : DefName
a✝ : List VarName
h1 : (def_ a✝¹ a✝).IsPrime
⊢ evalPrime V (def_ a✝¹ a✝) = (V (def_ a✝¹ a✝) = true)
no goals