Theorem Nat.mkpair_lt_mkpair_left

Modification history