Theorem Matrix.det_of_card_zero

Modification history