Theorem Nat.add_pos_right

Modification history