Theorem Nat.nth_injective

Modification history