Theorem Int.subNatNat_of_sub_eq_zero

Modification history