sub (a, b) fun a * b = mul (a, b) fun a / b = div_ (a, b) fun op == (a, b) = eq (a, b) fun a <> b = not (eq (a, b)) fun a > b = gt (a, b) fun a >= b = (gt
535–555. "Acquisition of U.S. Citizenship by Birth in the United States", 7 FAM 1111(a). Woodworth (1896), p. 538. "As a matter of fact, there was no definition