Theorem Matrix.submatrix_succAbove_det_eq_negOnePow_submatrix_succAbove_det

Modification history