instigate::algebra::commutativity_multiplication Namespace Reference

Commutativity Multiplication Concep. More...

Classes
struct	tag
	Commutativity Multiplication Concept tag. More...
struct	interface
	Interface of the Multiplicative Commutative Concept. More...
struct	requirements
	Requirements of the Multiplicative Commutative Concept. More...

---

Detailed Description

Commutativity Multiplication Concep.

Commutativity Multiplication is the ability to change the order of something without changing the end result. It is a fundamental property of many operations throughout mathematics, and many proofs depend on it.