Theorem Matrix.detp_smul_adjp

Modification history