Let `A=[{:(2," "3,-1),(0,-5," "7):}]`. Verify that `(A')'=A.`

If A=[{:(2," "3,-5),(0,-1," "4):}] , verify that (3A)'=3A'.

If A=[{:(2,-3," "5),(0," "7,-4):}] , verify that (A')'=A.

If A=[{:(2,3,-5),(0,-1,4):}] , then verify that (3A)'=3A'.

Let A=[{:(3," "4),(-2," "0),(7,-5):}]" and "B=[{:(2,-3),(5," "6),(-1," "8):}]. Verify that (A+B)'=A'+B'.

Let A=[{:(1,-2),(5," "4),(3," "0):}],B=[{:(" "3," "1),(" "0," "2),(-3," "5):}]" and "C=[{:(" "4," "3),(-2," "2),(" "1," "6):}]. Verify that (A+B)+C=A+(B+C).

Let A=[{:(1,-2,1),(-2,3,1),(1,1,5):}] Verify that (A^(-1))^-1=A

Let A=[{:(" "2,3,5),(-1,0,4):}]" and "B=[{:(4,-2,3),(2," "6,-1):}]. Verify that A+B=B+A.

Let A=[{:(1,-2,1),(-2,3,1),(1,1,5):}] Verify that [adjA]^(-1)=adj(A^(-1))

Let A = {:[( 1,2,1),(2,3,1),(1,1,5) ]:} Verify that (A^(-1) )^(-1) =A

Let A=[{:(3,7),(2,5):}] and B=[{:(6,8),(7,9):}] Verify that (AB)^(-1)=B^(-1)A^(-1)