Integers and RingsCovers integers, rings, subrings, invertibility, divisors of zero, and equivalence relations in formal fractions.
Functions and IntegersCovers functions, integers, GCD, and reasoning by recurrence, including the Euclidean algorithm and induction principle.
Basic PropertiesCovers basic properties of natural numbers, including order relations and inverses.