Theorem Int.neg_succ_of_nat_mul_neg_of_nat

Modification history