Theorem Rat.num_neg

Modification history