如何更改woocommerce中“选择”复选框按钮中的下拉变量？

Question

我想在woo commerce中的“选择”复选框按钮中更改下拉变量。

在产品页面上，我想显示复选框变量而不是下拉变量：

Theorem cancel : forall (i j k : nat),
  ((add i j) = (add i k)) -> (j = k).
Proof.
intros i j k H.
induction i.
apply H.
simpl in H.
apply eq_add_S in H.
apply IHi in H.
assumption.
Qed.