Theorem Matrix.coeff_det_one_add_X_smul_one

Modification history