Theorem Matrix.detp_one_one

Modification history