Theorem Nat.mkpair_lt_mkpair_right

Modification history