Theorem Matrix.det_succ_row_zero

Modification history