Theorem Int.subNatNat_add

Modification history