Less Than or Equal To ≤

(<= a b) if there exists a natural number x for which (= (+ a x) b) /edit/peano/peano_thms.gh/df-le.

Properties

Example

Arithmetic Overview

Login to edit