I'm reading a book that has the following theorem:
I am trying to make Mathematica perform these calculations for me. Is it possible to do it without having to declare the matrices? For example, I tried to write:
Transpose[A.B]. I expected it to return $B^TA^T$ or something similar, but it actually doesn't do that. At least in a trivial way.