Theorem Rat.num_pos

Modification history