We may assume that ti and t2 do not contain f symbols. (If they do, we replace their outermost f symbols with a fresh variable, resulting in a loop that has ...
確定! 回上一頁