Half-minus -

The half minus operation is similar to normal subtraction, but it operates on natural numbers so it does not return negative numbers. When (>= a b), (.- a b) is just like normal subtraction, but when (< a b) then (= (.- a b) (0)) /edit/peano/peano_thms.gh/halfminus-neg.

Important Theorems

Example

Arithmetic Overview

Login to edit