Theorem Matrix.det_eq_of_forall_row_eq_smul_add_const

Modification history