Theorem Matrix.det_succ_column_zero

Modification history