Theorem Int.ofNat_mul

Modification history