Theorem PNat.lt_add_left

Modification history