Category:Matrix is Invertible iff Determinant has Multiplicative Inverse