Theorem Int.neg_of_nat_zero

Modification history