Theorem Matrix.Nondegenerate.toLinearMap₂

Modification history