Multiplicative determinant

I’m clearing out my desktop again, and found this document on the multiplicativity of the determinant, which I wrote in 2014. It might as well be up here.

I should note that this document contains no motivation of any kind. It is simply an exercise in symbol-shunting, and it has no clever ideas in it.