Tekkotsu: turns out (mᵀ)⁻¹ == (m⁻¹)ᵀ is a real thing, so invert() can drop the transpose calls at the beginning and end