Theorem Matrix.detp_neg_one_one

Modification history