Open qingwen-guan opened 4 years ago
例如 已知变量有 $a$, $b$, $c$ 和 $d$
例如 $\forall x$, $\forall S$, $x \notin S$
例如 已知变量有 $a$, $b$, $c$ 和 $d$