Theorem Int.neg_ofNat_zero

Modification history