Theorem Matrix.detp_smul_add_adjp

Modification history