Theorem Matrix.list_prod_inv_reverse

Modification history