Theorem Int.of_nat_mul_neg_of_nat

Modification history