... equations: op double : Nat -> Nat . var N : Nat . eq double(N) = N + N. The ... this can be checked by considering all possible values for this pair: (0 ...
確定! 回上一頁