Divisibility |

(| a b) means that a divides b with no remainder. For example,

Definition

(<-> (| A B) (E. x (= (* A x) B))) /edit/peano/peano_thms.gh/df-divides

Properties

Divisiblity is used to define prime numbers.

Number Theory Overview

Login to edit