Theorem Int.subNatNat_sub

Modification history