Solution (source code)

= Solution

\b[True.] Multiplicativity of the <determinant> and the identity $\det(B^{-1})=1/\det B$ give $\det(B^{-1}AB)=\det(B^{-1})\det A\det B=\det A$. This is invariance under <matrix similarity>.