Theorem Matrix.detp_mul

Modification history