Absolute Value

The absolute value of x is defined as (= (abs x) (ifn (>= x (0)) x (-n x))) /edit/peano_new/arithmetic/common/negative.gh/df-abs.

Properties

Arithmetic Overview

Login to edit