Theorem Int.of_nat_mul_sub_nat_nat

Modification history