Theorem Int.negOfNat_eq_subNatNat_zero

Modification history