Theorem Int.neg_of_nat_mul_of_nat

Modification history