Less Than <

(< a b) is defined as (<-> (< a b) (/\ (<= a b) (-. (= a b)))) /edit/peano_new/arithmetic/common/inequality.gh/df-lt.

Properties

Example

Arithmetic Overview

Login to edit