Matrix addition
THEOREM
Matrix addition is commutative.
Proof available
THEOREM
Matrix addition is associative.
Proof unavailable