Theorem Int.ofNat_mul_subNatNat

Modification history