Theorem Matrix.det_eq_one_of_card_eq_zero

Modification history