Theorem ZNum.neg_of_int

Modification history