Theorem Rat.fract_inv_num_lt_num_of_pos

Modification history