AB:Size of AB
ABA:ABA
ABC:ABC
invcoeff:Invertibility and coefficients
invertib:Invertibility
matop:Matrix operations
multiplicab:Multiplicability
multone4x4:Mult-one 4x4
multpart3x3:Partial multiplication 3x3
multpart4x4:Partial multiplication 4x4
propalg:Algebraic properties
propalg2:Algebraic properties II
propmult:Properties of multiplication
trace2x2:Trace 2x2
trace3x3:Trace 3x3
trace4x4:Trace 4x4
trianginv3x3:Triangular invertibility 3x3
