Lectures related to Multiplication: Properties and Definitions

Covers the properties of rational multiplication through fractions and simple calculations, leading to the resolution of division problems.

Covers the properties and definitions of subtraction using addition and multiplication as a basis.

Explores vector spaces, focusing on properties, examples, and subspaces within a practical exercise on polynomials.

Explores the properties of commutative rings and integral domains in algebra.

Explores the concept of a commutative semi-ring based on set theory properties.

Showcases the use of assertions in Stainless to prove properties of fractions.

Covers commutative groups and their significance in cryptography.

Covers the properties of vectors, including commutativity, distributivity, and linearity.

Covers the properties of rational numbers and introduces the concept of an ordered field in Q.