Theorem Int.ofNat_mul_ofNat

Modification history