Theorem Matrix.det_succ_column

Modification history