Theorem Int.subNatNat_add_negSucc_ofNat

Modification history