Properties of Division | EPFL Graph Search

Covers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.

Introduces sets, maps, divisors, prime numbers, and arithmetic principles related to integers.

Introduces Cartesian product and induction for proofs using integers and sets.

Covers the extension of addition and multiplication operations in rational numbers.

Explores division in rational numbers and the extension of addition from integers.