Theorem Nat.range_of_succ

Modification history