Theorem Matrix.Nondegenerate.eq_zero_of_ortho

Modification history