Theorem Matrix.Nondegenerate.toLinearMap₂'

Modification history