Theorem Int.negOfNat_add

Modification history