**Defined in theory: Basic-matrix-algebra****Source code: basic-matrix.lisp**

**Documentation:**Class of the matrices that can be inverted

**Subclass-Of:**Square-matrix

(<=> (Invertible-Matrix ?M) (And (Square-Matrix ?M) (Not (Zero-Element (Determinant ?M)))))