Theorem PNat.pos_of_div_pos

Modification history