Theorem Rat.num_nonpos

Modification history