Theorem Int.subNatNat_add_add

Modification history