Theorem Int.subNatNat_add_left

Modification history