Theorem Int.of_nat_mul

Modification history