If t is of the form t1“ (resp. t1 /\ t2, t1 -t2, t1t2, t1 +t2), and t' 74 0 then t' is of the form t'1N (resp. t'1/\t§, t'1~t§, t'1t§, t'1 + tg) and Hi such ...
確定！ 回上一頁
