Theorem Int.mul_neg_succ_of_nat_neg_succ_of_nat

Modification history