Theorem Nat.nth_injOn

Modification history