Theorem Matrix.det_eq_elem_of_card_eq_one

Modification history