Theorem Nat.mkpair_lt_max_add_one_sq

Modification history