Theorem Rat.num_pos_iff_pos

Modification history